Le plugin « jump » pour Oh My Zsh permet dans un terminal de se déplacer rapidement dans les dossiers souvent utilisés. Il permet pour celà de « marquer » ces dossiers par un mot clé, pour ensuite y retourner plus rapidement. Ces marques sont stockées comme des liens symboliques dans le dossier $MARKPATH ($HOME/.marks par défaut).
Pour pourvoir utiliser ce plugin, il suffit de l'ajouter à la liste des plugins Oh My Zsh dans le fichier de configuration de zsh (.zshrc) :
plugins = (
...
jump
...
)
Pour marquer un dossier, il suffit de s'y rendre, et de saisir :
mark étiquette
où étiquette correspond au mot clé que l'on souhaite associer à ce dossier. Si aucune étiquette n'est donnée, alors le nom du dossier sera utilisé. Attention, les étiquettes ne peuvent pas contenir d'espace (sauf à les échapper avec un antislash). De toutes façons, l'idée est de choisir des étiquettes qui soient simples et rapides à saisir dans le terminal. On évitera donc les noms à rallonge !
Pour supprimer une étiquette, c'est tout aussi simple :
unmark étiquette
Et pour lister toutes les étiquettes définies et les dossiers associés, il suffit d'utiliser la commande :
marks
Une fois les étiquettes définies, on peut se déplacer dans les dossiers associés avec la commande :
jump étiquette
et voilà, vous savez tout ! Pour terminer, une petite démo pour illustrer tout ça :