| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révisionLes deux révisions suivantes |
| technique:astuces [2017/05/12 20:26] – modification externe 127.0.0.1 | technique:tips:start [2021/01/19 22:02] – qduchemi |
|---|
| ===== Astuces et conseils pour la prise en main et la maintenance des services de Picasoft ===== | {{indexmenu_n>1}} |
| | # Aide et astuces pour la team technique |
| |
| ==== Adapter sa configuration ssh à l'utilisation de l'infrastructure ==== | Cette section contient des astuces pour gagner du temps sur l'infrastructure et des bonnes pratiques d'adminsys. |
| Modifier le fichier ''~/.ssh/config'' de telle sorte a créer ses entrées personnalisées pour les connections ssh. | |
| |
| Par exemple, completer le fichier avec: | ## 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: |
| <code> | <code> |
| Host pica1 | Host pica1 |
| </code> | </code> |
| |
| permet de faire ''ssh pica1'' au lieu de ''ssh root@pica01.picasoft.net'' | 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 :) |
| | |
| | <code> |
| | 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' |
| | } |
| | </code> |