pushd et popd

En informatique, pushdet popdsont une paire de commandes qui permettent aux utilisateurs de basculer rapidement entre le répertoire actuel et le répertoire précédent lors de l'utilisation de la ligne de commande. Lorsqu'elles sont appelées, elles utilisent une pile de répertoires pour enregistrer et récupérer séquentiellement les répertoires visités par l'utilisateur.

Ils sont largement disponibles en tant que commandes intégrées dans de nombreux interpréteurs de ligne de commande , tels que 4DOS , Bash , C shell , tcsh , Hamilton C shell , KornShell , cmd.exe et PowerShell , et pour divers systèmes d'exploitation, y compris Windows et les systèmes de type Unix .

La pile de répertoires est à la base des fonctions de ces deux commandes. Il s'agit d'un tableau de chemins stocké sous forme de variable d'environnement dans la CLI, qui peut être visualisé à l'aide de la commande dirssous Unix ou dans PowerShell. Le répertoire de travailGet-Location -stack actuel se trouve toujours en haut de la pile.

La pushdcommande ('push directory') enregistre le répertoire de travail actuel dans la pile, puis modifie le répertoire de travail selon le nouveau chemin saisi par l'utilisateur. Si aucun argumentpushd de chemin n'est fourni , elle passe au répertoire suivant à partir du haut de la pile, qui peut être utilisé pour basculer entre deux répertoires.

La popdcommande supprime (ou « fait disparaître », dans l'analogie de la pile) l'entrée du chemin actuel de la pile et revient au chemin en haut de la pile en tant que nouveau répertoire de travail.

Le premier shell Unix à implémenter une pile de répertoires était le shell C de Bill Joy . La syntaxe pour pousser et faire apparaître des répertoires est essentiellement la même que celle utilisée actuellement.

Les deux commandes sont disponibles dans FreeCOM, l'interface de ligne de commande de FreeDOS .

Dans Windows PowerShell , pushd est un alias de commande prédéfini pour l' Push-Location applet de commande et popd est un alias de commande prédéfini pour l' Pop-Locationapplet de commande. Les deux remplissent fondamentalement le même rôle que les commandes pushdet popd.

[utilisateur@serveur /usr/ports] $ pushd /etc /etc /usr/ports 
[utilisateur@serveur /etc] $ popd 
/usr/ports 
[utilisateur@serveur /usr/ports] $

C:\Users oot> pushd C:\Users C:\Users> popd 
C:\Users oot>

@ echo off rem Ce fichier batch supprime tous les fichiers .txt dans un répertoire spécifié 
pushd 
%1 
del *.txt popd 
echo Tous les fichiers texte supprimés dans le répertoire %1

pushd [chemin | ..] 

Arguments:

• pathCet argument de ligne de commande facultatif spécifie le répertoire à utiliser comme répertoire courant. Si pathce paramètre est omis, le chemin en haut de la pile de répertoires est utilisé, ce qui a pour effet de basculer entre deux répertoires.

popd