1 août 19

Plugin « jump » pour Oh My Zsh

Catégorie : Logiciels libres
Étiquettes :

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

é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 :