Ver Mensaje Individual
  #35 (permalink)  
Antiguo 09/01/2009, 10:58
baron_rojo
 
Fecha de Ingreso: enero-2009
Mensajes: 2
Antigüedad: 15 años, 10 meses
Puntos: 0
pushd - popd -dirs

Hola a todos, esto lo apreciarán aquellos que estén mas apegados a la linea de comandos.

Cuando tienen que trabajar con archivos en directorios distintos una buena ayuda son estos comandos:

pushd como cd pero guarda el directorio actual en una pila
popd recupera el ultimo directorio de la pila y hace cd a ese
dirs para mostrar y editar la pila de directorios

Estos son funciones de bash
les muestro con un ejemplo (uso # para comentarios):

$ cd ~/path/muy/largo/

$ pushd ~/path/mas/largo/todavia/
~/path/mas/largo/todavia/ ~/path/muy/largo/

$ pwd
~/path/mas/largo/todavia/

$ pushd ~/path/cortito/
~/path/cortito/ ~/path/mas/largo/todavia/ ~/path/muy/largo/

$ pwd
~/path/cortito/

$ dirs
~/path/cortito/ ~/path/mas/largo/todavia/ ~/path/muy/largo/

$ popd
~/path/mas/largo/todavia/ ~/path/muy/largo/

$ pwd
~/path/mas/largo/todavia/

$ cd ..

$ dirs
~/path/mas/largo/ ~/path/muy/largo/

$ popd
~/path/muy/largo/

$pwd
~/path/muy/largo/

dirs tiene mas opciones pero mirenlas en el manual.

Creo que no quedó ni muy corto ni muy claro . Espero les pueda ser util.