Ça permet d'avoir un historique partagé entre les différentes sessions bash ouvertes. L'historique est mis à jour (écrit et lu) à chaque commande entrée et sa taille n'est pas limitée.
De plus, les commandes précédées d'un espace ne sont pas sauvée dans l'historique. Pratique quand on ne veut pas avoir rm -rf *, mplayer video_embarassante.mkv ou telnet -l root cia.gov dans son historique.
[^] # Re: Ma config de bash
Posté par patate . En réponse au journal Des "basheries". Évalué à 7. Dernière modification le 30 novembre 2016 à 13:35.
Ça permet d'avoir un historique partagé entre les différentes sessions bash ouvertes. L'historique est mis à jour (écrit et lu) à chaque commande entrée et sa taille n'est pas limitée.
De plus, les commandes précédées d'un espace ne sont pas sauvée dans l'historique. Pratique quand on ne veut pas avoir
rm -rf *,mplayer video_embarassante.mkvoutelnet -l root cia.govdans son historique.