Mon / est blindé il faut donc que je fasse de la place ailleurs, par exemple sur ma partition /home. Puisque j'ai récupéré tout un tas d'images depuis des mois, j'ai mis au point une solution abrupte mais qui fonctionne :P

Comment ai-je fait ?

1. Arrêter le démon Docker.
2. Déplacer le contenu du dossier /var/lib/docker dans /home/docker.
3. Supprimer /var/lib/docker.
4. Créer à la place un lien symbolique qui pointe vers /home/docker.
5. Redémarrer le démon Docker.

Elle arrive tout doucement, la prochaine crise financière, que dis-je, le prochain cataclysme.

Installer une virtualbox à jour sur une debian (net install)

La page contenant la documentation officielle de Gitea. Attention, celle-ci est un répo Git dans lequel des fichiers de conf sont fournis à titre d'exemple. Surprenant mais efficace.