Utilisation des commandes pushd et popd

Nilesh Katuwal 24 mars 2022
  1. Utilisez la commande pushd sous Linux
  2. Utilisez la commande popd sous Linux
  3. Surcharger la pile
Utilisation des commandes pushd et popd

Les commandes pushd et popd fonctionnent avec la pile de répertoires en ligne de commande en informatique.

Linux et autres systèmes d’exploitation de type Unix, les commandes pushd et popd vous permettent d’interagir avec les piles de répertoires et de modifier le répertoire de travail actuel. Même si pushd et popd sont des commandes puissantes et utiles, elles ne sont pas très appréciées et utilisées.

Utilisez la commande pushd sous Linux

Il y a deux entrées dans la pile après la première commande pushd : votre répertoire de gauche et celui que vous avez.

La commande pushd contient les éléments suivants :

$ pushd ~/Desktop

Production :

~/Desktop ~

Le répertoire du terminal sera changé en Desktop. c’est-à-dire Desktop

~/Desktop$ pushd ~/Music

Production :

~/Music ~/Desktop ~

Maintenant, c’est changé en Music.

$ pushd ~

Production :

~ ~/Music ~/Desktop ~

Nous sommes retournés à notre répertoire personnel avec la dernière commande pushd.

Par conséquent, le tilde~, qui symbolise notre répertoire personnel, est la première et la dernière entrée de la pile. Il indique que malgré un répertoire déjà présent dans la pile, nous le rajouterons pour d’autres commandes pushd.

Utilisez la commande popd sous Linux

La commande popd est utilisée pour supprimer des répertoires de la pile. Quand on regarde la pile de répertoires, on voit que /home/user est en position 1.

Nous tapons ce qui suit pour passer le nombre à popd pour le supprimer de la pile :

$ dirs -v -l

Production :

 0  /home/user
 1  /home/user/Music
 2  /home/user/Desktop
 3  /home/user
$ popd +1

Production :

~ ~/Desktop ~

Le répertoire /home/user a été supprimé et tous les répertoires situés en dessous dans la pile ont été remontés d’une position.

$ popd

Production :

~/Desktop

Nous utiliserons popd pour supprimer le répertoire le plus haut de la pile et le remplacer par le deuxième répertoire.

Il s’agit maintenant du répertoire dont vous êtes récemment sorti, vous y avez donc été redirigé.

Surcharger la pile

C’est simple de revenir aux vieilles habitudes et de changer de répertoire avec cd.

Vous tamponnerez le premier répertoire de la pile si vous le faites. C’est inévitable car le premier emplacement est désigné pour le répertoire de travail actuel et aucun ne se déplace.

Pour ce faire, tapez ce qui suit dans le terminal :

$ dirs -v -l

Production :

0  /home/user/Desktop
$ cd ~/Music
~/Music$ dirs -v -l

Production :

0  /home/user/Music

Vous aurez un moyen ultra-rapide de passer d’un dossier à l’autre une fois que vous vous serez familiarisé avec les commandes pushd et popd et de les utiliser potentiellement pour créer quelques alias.

Article connexe - Linux Command