Utilisation des commandes Pushd et Popd sous Linux
Les commandes pushd et popd sont des outils spécialisés qui permettent aux utilisateurs de gérer efficacement la pile de répertoires sous Linux et d’autres systèmes d’exploitation de type Unix. Malgré leur grande utilité et leur puissance, ces commandes sont souvent sous-utilisées et ne sont pas aussi connues que les autres commandes de navigation dans les répertoires.
La commande pushd permet à l’utilisateur de modifier le répertoire de travail actuel et en même temps d’enregistrer le répertoire précédent dans une pile. Ceci est particulièrement utile lorsque vous devez basculer fréquemment entre les répertoires, car pushd facilite le stockage temporaire de l’emplacement actuel et permet d’y accéder rapidement ultérieurement. Par exemple, si vous travaillez sur un projet et devez basculer vers le répertoire documents pour vérifier quelque chose, vous pouvez utiliser pushd pour basculer vers le nouveau répertoire puis revenir au répertoire d’origine sans avoir à vous souvenir de son chemin exact.
D’autre part, popd est utilisé pour restaurer le répertoire précédemment stocké dans la pile de répertoires. Cette commande récupère le dernier emplacement stocké avec pushd, ce qui facilite le retour à un répertoire précédent sans avoir à retaper le chemin complet. Ceci est particulièrement utile dans les scripts ou les tâches complexes où l’utilisateur doit se déplacer de manière répétitive entre plusieurs répertoires.
poussé
Description : pushd est utilisé pour changer le répertoire courant et le placer sur la pile. En conséquence, le répertoire actuel est remplacé par celui spécifié et l’ancien répertoire est ajouté à la pile.
Exemple:
pushd /path/to/new/directory
popd
Description : popd est utilisé pour revenir au répertoire précédent stocké sur la pile. Il supprime le dernier répertoire de la pile et le définit comme répertoire actuel.
Exemple:
popd
Exemple d’utilisation :
$
pushd /path/to/first_directory
/path/to/first_directory /path/to/source/your_directory
$
pushd /path/to/second_directory
/path/to/second_directory /path/to/directory1 /path/to/your_directory
$
popd
/path/to/first_directory /path/to/source/your_directory
Ainsi, pushd ajoute le répertoire actuel à la pile et bascule le répertoire actuel vers le nouveau, tandis que popd extrait le dernier répertoire de la pile et le définit comme répertoire actuel. Ceci est utile lors de l’exécution de commandes dans différents répertoires et pour basculer rapidement entre eux. Ce n’est un secret pour personne que les utilisateurs utilisent généralement la commande cd pour passer d’un répertoire à un autre. Cependant, si vous passez beaucoup de temps sur la ligne de commande, essayez d’utiliser les commandes pushd et popd. Croyez-moi, vous gagnerez du temps d’administration et augmenterez votre productivité et votre efficacité.