Le dirs -v La commande listera la pile de répertoires avec des nombres devant chaque répertoire, et vous pouvez donner un argument numérique au pushd commande pour le faire sauter dans ce répertoire. Par exemple, si dirs -v montre que le répertoire dans lequel vous souhaitez changer a 2 devant lui (c'est-à-dire, est le troisième répertoire de la liste), en exécutant pushd +2 passera dans ce répertoire.
Pour économiser la saisie, vous pouvez raccourcir ces commandes en leur donnant des alias comme ceci :
alias dv="dirs -v"
alias pd=pushd
Vous pouvez utiliser des caractères génériques :
cd ../*test1 or even cd *t1
cd ../2010*test2
cd ../*bar
Ils sont beaucoup plus flexibles et vous n'avez pas besoin de planifier un script pour chaque situation différente, une fois que vous y serez habitué, vous les utiliserez pour tous les types de répertoires.Exemples :
cd /e*/n*k will take you to /etc/network
cd /h* to /home
Ils sont utilisables partout (ls aussi bien sûr pour que vous puissiez filtrer ce qu'il faut voir)
caractères génériques bash