Il y a quelques jours, mon historique zsh a apparemment été vidé, peut‑être à cause d’une fausse manip dont je parlerai peut‑être. Je crois avoir rempli mon $HOME
complètement, et ça n’a peut‑être pas plu à zsh.
Mes shells n’enregistraient donc plus les nouvelles commandes dans le fichier .zsh_history
, et surtout, ce fichier est devenu vide. Or, je tiens à mon historique ! Il y a un tas de commandes que je rappelle simplement en tapant leurs premières lettres (…)