Quickstart

Note

When using the DynRes Docker Cluster the DynPkgs package manager is already preinstalled.

Clone the repository:

user@host:~# git clone --branch=docker_setup https://gitlab.inria.fr/dynres/dyn-procs/dyn_procs_setup/-/tree/docker_setup?ref_type=heads dynpkgs && cd dyn_procs_setup

Run make to configure Dynpkgs for your system:

user@host:~# make

To make the dynpkgs command available in your shell run

user@host:~# source bin/dynpkgs.sh