ci: add install-docker.sh

[phymbert]

Motivation

Docker is a best practice to ensure reproducibility and isolation.

This small script to install docker with nvidia capability properly on a fresh VMs after setup.sh, install-cuda.sh.

In the context of ggerganov/llama.cpp#6233

[phymbert]

@ggerganov @ngxson FYI

[ngxson]

There's a trick to install docker that not many people know about: you can wget or curl the official install script from https://get.docker.com . This script works on any linux distro, not just ubuntu.

Personally I use this one-liner command: curl -fsSL get.docker.com | bash

This replaces the part in your script where it adds apt repo and does apt install. The rootless part and nvidia driver part is however not included, so let's keep it.

Also do we have a reason not to run docker in root-full mode? (Assuming that the machine is cleaned up every time we run it). AFAIK, rootless mode sometimes have less privilege and in some cases use less-performant fs driver. Personally I only use rootless if it's a nested docker-in-docker (dind)

[phymbert]

The script is used in the child image yes. For the VM, I prefer to go the hard way.
See the next PR, we do docker in docker

[phymbert]

@ggerganov I do not have write access B-)

[ggerganov]

Invite sent