4520 shaares
4 résultats
taggé
repo
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 ?
- Arrêter le démon Docker.
- Déplacer le contenu du dossier
/var/lib/docker
dans/home/docker
. - Supprimer
/var/lib/docker
. - Créer à la place un lien symbolique qui pointe vers
/home/docker
. - 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.