http://links.simonlefort.be/?AxldPA
mercredi 4 novembre 2015 à 17:50Intéressant.
Pour ma part, je préfère justement avoir l’historique de mes commandes bash, ça me fait gagner du temps.
Je fais souvent un "history | grep MON-MOT-CLÉ" pour retrouver une commande, ou alors un Ctrl+R et taper.
Par défaut, l’historique fait 500 lignes. Perso je l’ai mis à 20000 avec ça :
— (permalink)
Pour ma part, je préfère justement avoir l’historique de mes commandes bash, ça me fait gagner du temps.
Je fais souvent un "history | grep MON-MOT-CLÉ" pour retrouver une commande, ou alors un Ctrl+R et taper.
Par défaut, l’historique fait 500 lignes. Perso je l’ai mis à 20000 avec ça :
sudo sh -c "echo '\nHISTFILESIZE=20000\nHISTSIZE=20000\nHISTCONTROL=ignoredups' >> /etc/environment"(puis se reloguer).
— (permalink)