We know that our researchers build upon many free software projects, as we do ourselves. And so, like many institutions, we choose to help with the distribution of this software by providing a ‘mirror’ of the software repositories for as many distributions & projects as we possibly can. Such a service is provided free of charge to our students, and the general public too.
You can access files from our new Mirror Service.
CentOS 7 – Remove Old Kernels
/boot partition is getting filled, you may wish to automatically remove old kernels. I find the best way to do this is to install the yum utilities package and then use a command to delete all but 2 kernels (just in case there is a problem with the latest one).
sudo yum install yum-utils -y
sudo package-cleanup --oldkernels --count=2
To install Docker CE, you need the 64-bit version of one of these Ubuntu versions:
- Zesty 17.04
- Xenial 16.04 (LTS)
- Trusty 14.04 (LTS)
SET UP THE REPOSITORY
- Update the
apt package index:
- Install packages to allow
apt to use a repository over HTTPS:
$ sudo apt-get install \
- Add Docker’s official GPG key:
$ curl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo apt-key add -
Verify that you now have the key with the fingerprint
9DC8 5822 9FC7 DD38 854A E2D8 8D81 803C 0EBF CD88, by searching for the last 8 characters of the fingerprint.
$ sudo apt-key fingerprint 0EBFCD88
pub 4096R/0EBFCD88 2017-02-22
Key fingerprint = 9DC8 5822 9FC7 DD38 854A E2D8 8D81 803C 0EBF CD88
uid Docker Release (CE deb) <firstname.lastname@example.org>
sub 4096R/F273FCD8 2017-02-22
- Use the following command to set up the stablerepository. You always need the stable repository, even if you want to install builds from the edge or testrepositories as well. To add the edge or test repository, add the word
test (or both) after the word
stable in the commands below.
lsb_release -cs sub-command below returns the name of your Ubuntu distribution, such as
xenial. Sometimes, in a distribution like Linux Mint, you might have to change
$(lsb_release -cs) to your parent Ubuntu distribution. For example, if you are using
Linux Mint Rafaela, you could use
$ sudo add-apt-repository \
"deb [arch=amd64] https://download.docker.com/linux/ubuntu \
$(lsb_release -cs) \
INSTALL DOCKER CE
- Update the
apt package index.
- Install the latest version of Docker CE, or go to the next step to install a specific version. Any existing installation of Docker is replaced.
$ sudo apt-get install docker-ce
Configure Docker to start on boot
Most current Linux distributions (RHEL, CentOS, Fedora, Ubuntu 16.04 and higher) use
systemd to manage which services start when the system boots. Ubuntu 14.10 and below use
$ sudo systemctl enable docker
To disable this behavior, use
$ sudo systemctl disable docker
If you need to add an HTTP Proxy, set a different directory or partition for the Docker runtime files, or make other customizations, see customize your systemd Docker daemon options.
Docker is automatically configured to start on boot using
upstart. To disable this behavior, use the following command:
$ echo manual | sudo tee /etc/init/docker.override
$ sudo chkconfig docker on