Astuces bash
Historique bash
Nous permet de définir un historique de 1000 commandes (au lieu de 500 par défaut)
Permet de définir un fichier où seront stockées l'historique
Nous permet de ne pas logger toutes les commandes, ici, nous ignorons clear, tous les ls, tous les man, et notre clé GCP.
Divers
Nous permet d'ouvrir la dernière commande dans notre éditeur par défaut et de l'éditer plus facilement, puis de la réexécuter dans la foulée
Introduit un random entre 1 et 10s
# Disconnect the session after 30 minutes of idle
if [ -z "$TMOUT" ] ; then
TMOUT=1800
[ -z "$TMUX" ] || TMOUT=345600
fi
Comme dis dans le commentaire, permet de deconnecteur automatiquement un user après X secondes, à mettre dans le .bashrc ou autre prompt