2 points par xguru 2021-11-11 | 1 commentaires | Partager sur WhatsApp
  • Un script simple pour générer un zsh_history distinct pour chaque dossier

→ permet ensuite d’afficher uniquement les 10 commandes les plus récentes exécutées dans le « dossier actuel »

  • Il suffit d’ajouter la fonction ci-dessous dans .zshrc pour terminer l’installation

function zshaddhistory() {

echo "${1%%$'\n'}|${PWD}   " >> ~/.zsh_history_ext

}

  • Exécuter le script zog pour l’afficher

grep -v "jog" ~/.zsh_history_ext | grep -a --color=never "${PWD} " | cut -f1 -d"|" | tail

1 commentaires

 
junghan0611 2022-12-16

Ça fonctionne bien. C’est exactement ce qu’il me fallait ^^