Même s'il existe déjà de bonnes réponses, j'ai pensé mentionner pour être complet les anciens pushdet les popdBash buildins qui vous permettent de vous déplacer très rapidement entre les répertoires dans les chemins profonds de votre système de fichiers. Contrairement aux autojumpsignets mentionnés par burger.ga , la pile de répertoires créée à l'aide de pushdest uniquement temporaire.
Comme le note le manuel GNU , pushdet popdsont des commandes internes Bash utilisées pour construire une pile de répertoires temporaire qui est un
liste des répertoires récemment visités. La commande intégrée pushd ajoute des répertoires à la pile lorsqu'elle modifie le répertoire en cours, et la commande intégrée popd supprime les répertoires spécifiés de la pile et remplace le répertoire en cours par le répertoire supprimé. Le répertoire dirs affiche le contenu de la pile de répertoires.
Il faut un peu de temps pour s'y habituer, mais il y a beaucoup de tutoriels utiles sur ce blog et ce site par exemple. Il n'y a pas de pages de manuel distinctes pour les commandes, car elles sont incluses dans la page de manuel Bash, mais pour une référence rapide, vous pouvez afficher la page GNU Bash .
L'explication la plus claire se trouve dans cet article très utile et est exactement la façon dont j'utilise pushdet popd:
Tout d'abord, utilisez dirsou dirs -lpour répertorier les répertoires de la pile et dirs -ceffacer la pile.
Dans un sens, vous marquez l'endroit où vous souhaitez revenir en entrant
pushd /home/mike/Pictures/Canon/2012_07_01
puis vous pouvez ajouter plus de répertoires à la pile, de sorte que vous obtenez une liste de répertoires comme ci-dessous, qui comprend 3 dossiers désignés et votre ~dossier de départ:
dirs
~/Downloads/folder/interest ~/Music/artist/album ~ ~/Pictures/Canon/2012_07_01
En fait, vous n'avez pas besoin d'utiliser popdimmédiatement car cela supprime les répertoires de la pile; la meilleure chose à faire est d'utiliser pushdpour faire pivoter la pile, afin que vous puissiez continuer à basculer entre les répertoires et les ordonner comme vous le souhaitez. Pour plus d'informations sur cette rotation utile de la pile, consultez la page de manuel Bash .
Si vous avez exactement l'arrangement de la pile comme ci - dessus dirsmontre liste, pushd +3vous fait passer au dossier spécifique photos et lieux sur le dessus de la pile (il est +3 et non +4 que vous ne comptez pas votre ~dans la pile de répertoire):
pushd +3
~/Pictures/Canon/2012_07_01 ~/Downloads/folder/interest ~/Music/artist/album ~
Ainsi, l'invite lit,
~/Pictures/Canon/2012_07_01$
Vous pouvez continuer à le faire sans les retirer de la pile, bien que tous les dossiers que vous cdà, autres que ceux qui sont ajoutés à la pile de répertoire avec pushd, va modifier votre pile de répertoire.
Une fois que vous avez la pile de répertoire disposé dans l'ordre que vous voulez, vous pouvez utiliser popdpour faire défiler rapidement les répertoires, puis revenir au dossier de la maison; par exemple, de Picturesnous pouvons retourner à Downloads:
popd
~/Downloads/folder/interest ~/Music/artist/album ~
et les lectures rapide
~/Downloads/folder/interest$
En général , la beauté de ce que vous pouvez configurer la pile de répertoire et l'ordre des éléments en son sein avec pushdet puis, que vous avez trois fichiers à modifier dans chacun de ces répertoires, vous pouvez revenir instantanément à chacun avec popdtout en les supprimant à partir de la pile de répertoires. Puis , avec votre dernier popdvous retournerez ~. Il devient particulièrement utile lorsque vous avez des répertoires particulièrement profonds et peut l' utiliser pour mettre en place la pile de répertoire pour se déplacer rapidement entre eux.
De plus, cette question contient quelques conseils qui pourraient vous être utiles lorsque vous travaillez sur la ligne de commande: