Comment utiliser pushd et popd sous Linux

Beaucoup de gens Linux ne connaissent pas pushd et popd, mais ils sont utiles. Ils peuvent accélérer la navigation dans les répertoires sur la ligne de commande. Voici comment les utiliser.

Utilisation de pushd et popd en ligne de commande

Bill Joy a introduit une innovation dans son C Shell de 1978 avec le concept d’une pile de répertoires et les commandes pushd et popd. Ces commandes permettent de manipuler la pile en ajoutant ou supprimant des répertoires. Le modèle utilisé est celui d’une file d’attente Last In, First Out (LIFO). En d’autres termes, le dernier élément ajouté est toujours le premier à être supprimé. Les commandes pushd et popd sont conçues pour gérer les répertoires dans cette pile.
Cela offre une flexibilité supplémentaire lors de la gestion des répertoires, car ils peuvent être ajoutés ou retirés selon les besoins. La lettre « d » dans pushd et popd fait référence au mot « répertoire », soulignant ainsi leur fonction spécifique. En utilisant ces commandes, il devient plus pratique de gérer plusieurs répertoires en cours d’utilisation.

Comment remplir une pile

Lorsque vous utilisez la commande pushd, trois choses se produisent : le répertoire change comme avec la commande cd, le nom et le chemin du répertoire sont ajoutés à une pile qui s’affiche sous forme de liste de répertoires séparés par des espaces. Ainsi, chaque nouvelle utilisation de pushd ajoute un nouveau répertoire à la pile. Le dernier élément ajouté est toujours représentatif du répertoire actuel.
Après avoir utilisé plusieurs fois la commande pushd, il est possible de revenir au répertoire personnel en utilisant à nouveau le tilde (~). La dernière entrée de la pile représente toujours le répertoire actuel.

Pour afficher la liste des répertoires dans la pile, utilisez simplement « dirs ». Si vous souhaitez voir la position numérique de chaque répertoire, ajoutez « -v » après « dirs ». Pour obtenir le chemin d’accès complet au lieu du tilde (~), ajoutez « -l » également.

Incorporation d’un dossier dans la pile

Lorsque vous utilisez la commande pushd, elle modifie votre répertoire, ajoute le nouveau répertoire à la pile et affiche la pile pour vous. En utilisant l’option -n, vous pouvez ajouter un répertoire à la pile sans changer le répertoire courant. Par exemple, en tapant « pushd -n /home/dave », le répertoire /home/dave sera ajouté à la pile dans l’emplacement 1. Cela signifie qu’il occupe la deuxième place de la pile. Cependant, le répertoire actuel ne change pas et reste à sa position initiale dans la pile.

Faire tourner la pile pour changer de répertoire

Lorsque vous utilisez la commande pushd, vous pouvez déplacer vers n’importe quel répertoire d’une pile en utilisant des paramètres numériques. Le répertoire choisi devient alors la première entrée de la pile et vous pouvez le référencer par son numéro de position. Pour déplacer un répertoire situé à une certaine position dans la pile, vous pouvez utiliser des nombres positifs pour compter à partir du haut ou des nombres négatifs pour compter à partir du bas. Par exemple, avec pushd +3, le répertoire sélectionné deviendra le premier élément de la pile et tous les autres seront déplacés vers le bas. En revanche, avec pushd -0, le dernier répertoire sera placé en première position et les autres seront décalés vers le bas dans la pile.

Retrait de répertoire avec la commande popd

Pour supprimer un répertoire de la pile, on utilise le popd. Par exemple, pour enlever le dernier répertoire ajouté à la pile, on tape « popd -0 ». Cela permet de retirer le répertoire du haut de la liste et revenir au précédent. On peut aussi compter à partir du bas pour sélectionner le répertoire à enlever avec popd. Pour passer à un autre répertoire et ensuite revenir au précédent, on utilise pushd et popd ensemble.

Rotation dans toute la pile

Pour faire défiler une pile avec des répertoires imbriqués, vous pouvez utiliser n’importe quel répertoire dans le système de fichiers. Le niveau d’imbrication le plus profond est /home/dave/Projects/htg/articles. Pour naviguer à travers ces répertoires, vous pouvez utiliser la commande pushd suivie du nom du répertoire. Ensuite, en tapant la commande dirs -v -l, vous pouvez examiner la pile de répertoires pour voir où vous êtes situé. Si nécessaire, vous pouvez également créer un alias pour simplifier ce processus et économiser du temps.

Pile: Estampage simplifié

Pour changer de répertoire rapidement dans la ligne de commande, il est possible d’utiliser les commandes pushd et popd. Cela permet de naviguer entre les dossiers sans avoir à taper le chemin complet à chaque fois. Ainsi, il est plus efficace de travailler dans l’interface en ligne de commande pour gagner du temps lors des manipulations fréquentes de fichiers et répertoires.