**Ceci est une ancienne révision du document !**
Astuces et bonnes pratiques
Cette section contient des astuces pour gagner du temps sur l’infrastructure et des bonnes pratiques d’adminsys.
todo déplacer dans une sous page
A ENRICHIR LE PLUS POSSIBLE !
Cette page sert à centraliser toute sorte d’astuces qui peuvent être utiles à toute personne utilisant l’infrastructure Picasoft. Bien que contenant quelques astuces, cette page, créée au cours de la TX P17, doit être maintenue et enrichie au maximum, pour assurer la passation de bonnes pratiques et de conseils au cours des semestres.
Adapter sa configuration SSH à l'utilisation de l'infrastructure
Sur votre machine personnelle, vous pouvez modifier le fichier ~/.ssh/config
de sorte à créer des entrées personnalisées pour les connections SSH.
Par exemple, compléter le fichier avec:
Host pica1 Hostname pica01.picasoft.net Port 22 User root IdentityFile ~/.ssh/id_rsa Host pica2 Hostname pica02.picasoft.net Port 22 User root IdentityFile ~/.ssh/id_rsa
Cette configuration permet de faire ssh pica1
au lieu de ssh root@pica01.picasoft.net
par exemple.
Docker help
Certaines commandes Docker sont très pratiques et relativement complexes à mémoriser. De ce fait, voici un ensemble d’alias à ajouter à vos fichiers de configuration de terminaux :)
function dockerhelp { echo 'Delete containers with same pattern in the name (typical use when a docker service fails which creates a lot of containers on the daemon):' echo 'docker ps -a | grep "<pattern>" | awk '"'"'{print $1}'"'"' | xargs docker rm' echo ' |_ group to capture and print. Here we keep the ID of the container' echo '-----------------------------------------------------------------------' echo 'Delete untagged images:' echo 'docker rmi $(docker images -a | grep "^<none>" | awk '"'"'{print $3}'"'"')' echo '-----------------------------------------------------------------------' echo 'Delete all stopped containers:' echo 'docker rm $(docker ps -a -q)' echo '-----------------------------------------------------------------------' echo 'Know the file log of a container' echo "docker inspect --format='{{.LogPath}}' containerName" echo '-----------------------------------------------------------------------' echo 'Access to the docker virtual machine's file system on Mac' echo 'screen ~/Library/Containers/com.docker.docker/Data/com.docker.driver.amd64-linux/tty' }