Retourner au contenu associé (journal : Restaurer l’historique de zsh)
Posté par barmic 🦦 le 25 décembre 2019 à 23:33. En réponse au journal Restaurer l’historique de zsh. Évalué à 4. Dernière modification le 29 décembre 2019 à 12:35.
zsh a une option pour ça : incappendhistory. Conjugué avec appendhistory et sharehistory, tu obtiens quelque chose qui tient la route en termes de gestion d’historique.
incappendhistory
appendhistory
sharehistory
https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: La base de la base
Posté par barmic 🦦 . En réponse au journal Restaurer l’historique de zsh. Évalué à 4. Dernière modification le 29 décembre 2019 à 12:35.
zsh a une option pour ça :
incappendhistory. Conjugué avecappendhistoryetsharehistory, tu obtiens quelque chose qui tient la route en termes de gestion d’historique.https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll