La commande pushd est effectivement interessante, mais n'a pas du tout la même utilité. pushd fait une pile de dossier de travail, alors que ccd me permet d'attendre tout les signets en même temps. De plus, les signets sont communs entre tout les terminaux ouvert (mais sont différents pour chaque utilisateurs).
[^] # Re: ça existait déjà
Posté par robin . En réponse au journal Des bookmarks dans mon terminal !. Évalué à 7.
La commande
pushdest effectivement interessante, mais n'a pas du tout la même utilité.pushdfait une pile de dossier de travail, alors queccdme permet d'attendre tout les signets en même temps. De plus, les signets sont communs entre tout les terminaux ouvert (mais sont différents pour chaque utilisateurs).bépo powered