Bonjour,
Je ne sais pas où mettre cette question mais bon…
En fait j’ai perdu une entrée dans
history
quelqu’un peut il me dire si ca arrive?
Merci
Bonjour,
Pense à mettre une catégorie, sinon, personne ne voit ton sujet.
Peux-tu préciser ce que tu veux dire par là, tu as perdu une entrée dans l’historique de ton interpréteur de commande ? Ça peut arriver selon le moment quand l’interpréteur de commandes enregistre cet historique. Par exemple, bash le fait à la fermeture et zsh le fait juste avant de lancer la commande.
Je complète en précisant qu’une commande précédée d’une espace peut être ignorée par l’historique. Ce comportement est défini par la variable d’environnement HISTCONTROL, sur une Debian :
$ echo $HISTCONTROL
erasedups:ignorespace
⇒ les doublons sont supprimés, les commandes débutant par une espace sont ignorées.
On peut aussi désactiver l’historique avec :
shopt -u histappend
Merci
En effet j’ai perdu une commande que j’ai tapé et qui était
apt-cache policy dnsmasq
Je ne la vois plus quand je tape
history | grep « apt-cache policy »