Apprenez à utiliser les commandes pushd et popd pour améliorer l'efficacité de la navigation dans la structure de répertoires Linux

Présentation

Parfois, naviguer dans le système de fichiers Linux via des commandes peut être une chose très pénible, surtout pour les débutants. Normalement, nous utilisons principalement la commande cd (change directory) pour nous déplacer entre les systèmes de fichiers Linux.

Dans ce didacticiel, nous aborderons deux commandes liées : pushd et popd, qui peuvent être utilisées pour parcourir efficacement la structure des répertoires Linux. Ces deux commandes existent dans la plupart des shells, comme bash et tcsh.

Comment fonctionnent les commandes pushd et popd dans le système Linux

Les commandes pushd et popd fonctionnent selon le principe « LIFO » (dernier entré, premier sorti). Selon ce principe, seules deux opérations sont autorisées : pousser un répertoire sur la pile et extraire un répertoire de la pile.

La commande pushd ajoutera un répertoire en haut de la pile et la commande popd supprimera un répertoire du haut de la pile.

Afin d'afficher les répertoires dans la pile de répertoires (ou l'historique), nous pouvons utiliser la commande dirs ci-dessous :

$ dirs
或
$ dirs -v

dirs - Afficher les répertoires situés dans la pile de répertoires

Commande pushd : ajouter/mettre un chemin de répertoire vers/depuis la pile de répertoires (historique). Après cela, vous pouvez parcourir n'importe quel répertoire situé dans la pile de répertoires (historique). Lorsqu'un nouveau répertoire est placé sur la pile, tous les répertoires actuellement sur la pile sont imprimés.

Les commandes suivantes montreront comment cette commande fonctionne :

$ pushd  /var/www/html/
$ pushd ~/Documents/
$ pushd ~/Desktop/
$ pushd /var/log/

pushd-ajouter un nouveau répertoire à la pile

Selon le résultat de la pile de répertoires ci-dessus (l'index du répertoire est organisé dans l'ordre inverse) :

• /var/log est le cinquième répertoire de la pile de répertoires, avec l'index 0
• ~/Desktop/ est le quatrième avec l'index 1
• ~/Document/ est le troisième avec l'index 2
• /var/www/html est le deuxième avec l'index 3
• ~ est le premier avec l'indice 4

De plus, nous pouvons également utiliser le formulaire d'index de répertoire pushd ++ ou pushd -# pour ajouter des répertoires à la pile. Afin d'entrer dans le répertoire ~/Documents, nous pouvons entrer :

$ pushd +2

pushd - Parcourir le catalogue par numéros

Notez qu'après l'étape précédente, le contenu de la pile a changé. Donc, pour aller dans le répertoire /var/www/html à partir de l'exemple ci-dessus, nous devons utiliser la commande suivante :

$ pushd +1

pushd - Parcourir le catalogue par numéros

commande popd - supprime un répertoire du haut de la pile ou de l'historique. Pour lister tous les répertoires de la pile de répertoires, tapez simplement :

$ popd

Pour supprimer un répertoire de la pile de répertoires, nous pouvons utiliser la commande popd +# ou popd -#. À ce stade, nous devons entrer la commande suivante pour supprimer le répertoire ~/Documents :

$ popd +1

popd - Supprimer un répertoire de la pile

---

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!