Parfois, il peut être pénible de naviguer dans le système de fichiers Linux avec des commandes, en particulier pour les débutants. Normalement, nous utilisons principalement la commande cd (Change Directory) pour nous déplacer dans le système de fichiers Linux.
Dans un article précédent, nous avons passé en revue un utilitaire CLI simple mais utile pour Linux appelé bd - pour revenir rapidement dans un répertoire parent sans taper cd ../../.. à plusieurs reprises.
Ce didacticiel explique un ensemble de commandes associées :"pushd ” et “popd ” qui sont utilisés pour une navigation efficace dans la structure des répertoires Linux. Ils existent dans la plupart des shells tels que bash, tcsh etc.
Lecture suggérée : Autojump - Une commande "cd" avancée pour naviguer rapidement dans le système de fichiers Linux
Fonctionnement des commandes pushd et popd sous Linux
pousser et popd travailler selon le "LIFO ” (dernier entré, premier sorti). Dans ce principe, seules deux opérations sont autorisées :pousser un élément dans la pile et faire sortir un élément de la pile.
pushd ajoute un répertoire en haut de la pile et popd supprime un répertoire du haut de la pile.
Pour afficher les répertoires dans la pile de répertoires (ou historique), nous pouvons utiliser les dirs commande comme indiqué.
$ dirs OR $ dirs -v
commande pushd - met / ajoute des chemins de répertoire sur une pile de répertoires (historique) et vous permet ensuite de revenir à n'importe quel répertoire de l'historique. Lorsque vous ajoutez des répertoires à la pile, cela fait également écho à ce qui existe dans l'historique (ou "pile").
Les commandes montrent comment pushd fonctionne :
$ pushd /var/www/html/ $ pushd ~/Documents/ $ pushd ~/Desktop/ $ pushd /var/log/
À partir de la pile de répertoires dans la sortie ci-dessus (l'index de répertoire est dans l'ordre inverse) :
- /var/log est le cinquième [index 0] dans la pile de répertoires.
- ~/Bureau/ est quatrième [index 1].
- ~/Documents/ est troisième [index 2].
- /var/www/html/ est deuxième [index 3] et
- ~ est le premier [index 4].
En option, nous pouvons utiliser l'index du répertoire sous la forme pushd +# ou pushd -# pour ajouter des répertoires à la pile. Pour accéder à ~/Documents , on taperait :
$ pushd +2
Notez qu'après cela, le contenu de la pile changera. Donc, à partir de l'exemple précédent, pour passer à /var/www/html , nous utiliserions :
$ pushd +1
commande popd – supprime un répertoire du haut de la pile ou de l'historique. Pour répertorier la pile de répertoires, tapez :
$ popd
Pour supprimer un répertoire de la pile de répertoires, utilisez popd +# ou popd -# , dans ce cas, nous taperions la commande ci-dessous pour supprimer ~/Documents :
$ popd +1
Consultez également :Fasd - Un outil en ligne de commande qui offre un accès rapide aux fichiers et aux répertoires
Dans ce tutoriel, nous avons expliqué "pushd ” et “popd ” qui sont utilisées pour une navigation efficace dans la structure des répertoires. Partagez vos réflexions concernant cet article via le formulaire de commentaires ci-dessous.