_____                      _   
| ____|_ __ _ __   ___  ___| |_ 
|  _| | '__| '_ \ / _ \/ __| __|
| |___| |  | | | |  __/\__ \ |_ 
|_____|_|  |_| |_|\___||___/\__| 
    	               is back ! 
	    		
Image : Un éclair dans la nuit

Astuces shell

Sommaire


Changer brièvement de répertoire: pushd et popd

Dernière édition : 04/07/2019

Admettons que je sois dans un répertoire donné, en train de travailler. J'ai besoin de jeter un œil dans un autre répertoire un instant, mais je sais que je vais retourner dans le répertoire courant immédiatement après. Il faudra un premier cd /répertoire/que/je/veux/voir suivi d'un retour dans /répertoire/où/je/suis. Et bien taper les chemins serait une perte de temps : en effet, les commandes pushd et popd simplifient considérablement cette manipulation.

1  nemo@moon:~/scripts/work$ pushd /usr/doc/xutils
2  /usr/doc/xutils ~/scripts/work

3  nemo@moon:/usr/doc/xutils$ popd
4  ~/scripts/work

5  nemo@moon:~/scripts/work$

Dans l'exemple ci-dessus (première ligne), je me suis déplacé depuis mon répertoire ~/scripts/work vers /usr/doc/xutils. Le bash affiche une ligne d'information (deuxième ligne) pour me dire dans quel répertoire je vais et de quel répertoire je viens. Ensuite, en ligne 3, je lance la commande popd seule, sans préciser où je souhaite me rendre. En ligne 4, le bash indique ma destination. Finalement, ligne 5, je suis de retour dans le répertoire d'origine.

[ sommaire ] | [ home ]


Connaître la version de son bash

Dernière édition : 19/07/2019

Pour afficher la version du bash courant, faire simplement dans un terminal Ctrl+x Ctrl+v

[ sommaire ] | [ home ]