Parfois, en ligne de commande, on aime bien changer de répertoire provisoirement, avant de revenir là ou on était.
cd /chemin/vers/mon/repertoire <quelques commandes> cd /chemin/vers/un/autre/repertoire/ <une_commande> cd /chemin/vers/mon/repertoire
Fastidieux et peu pratique. Il est bien sur possible d’utiliser la variable $OLDPWD, qui mémorise le répertoire précédent :
cd /chemin/vers/mon/repertoire <quelques commandes> cd /chemin/vers/un/autre/repertoire/ <une_commande> cd $OLDPWD
Mais cette méthode est loin d’être optimale. Nous allons plutôt utiliser les commandes pushd et popd
pushd permet de changer de repertoire (comme cd), mais en memorisant le repertoire courant. Il est possible d’empiler les appels à pushd. popd permet de revenir au repertoir empilé lors du dernier appel de pushd. Démonstration :
cd /chemin/vers/mon/premier/repertoire pwd # affiche /chemin/vers/mon/premier/repertoire pushd /chemin/vers/mon/deuxieme/repertoire pwd # affiche /chemin/vers/mon/deuxieme/repertoire pushd /chemin/vers/mon/troisieme/repertoire pwd # affiche /chemin/vers/mon/troisieme/repertoire popd pwd # affiche /chemin/vers/mon/deuxieme/repertoire popd pwd # affiche /chemin/vers/mon/premier/repertoire
C’est quand même plus pratique, non ?
Un Commentaire
ah, moi j’utilisais bash
cd /1errepertoire
#commandes
bash
cd /2emerepertoire
#commandes
cd /autrerepertoire
#commandes
bash
cd /3emerepertoire
#commande
exit #revenir a /autrepertoire
exit #revenir a /1errepertoire