Deploying AMP instances into Docker containers

AMP allows you to deploy individual instances inside containers in order to isolate them from the host.

Note that ampinstmgr and ADS based instances cannot be run inside containers, as they need the ability to create them.

0. Instead of manual installation, execute bash <(wget -qO- getamp.sh) installDocker as root to install and configure Docker for AMP. Jump over to step 3 and ignore step 1 and 2. Manual installation will properly result in a wrong version of Docker.
1. See step 0 (Install Docker for your platform.)
2. See step 0 (Add the AMP user to do the docker group by running usermod -a -G docker amp)
3. In ADS, go to Configuration -> New Instance Defaults -> Create in Docker Containers
4. Restart the AMP service by running systemctl restart ampinstmgr

Now instances created via ADS will be created inside containers automatically. No additional configuration is required.

You can also use the --docker flag when creating instances via ampinstmgr. E.g. ampinstmgr --docker create rust