Uso de los comandos pushd y popd
Los comandos pushd y popd funcionan con la pila de directorios de la línea de comandos en informática.
Linux y otros sistemas operativos similares a Unix, los comandos pushd y popd le permiten interactuar con las pilas de directorios y modificar el directorio de trabajo actual. Aunque pushd y popd son comandos poderosos y útiles, no son muy apreciados ni utilizados.
Utilice el comando pushd en Linux
Hay dos entradas en la pila después del primer comando pushd: su directorio izquierdo y el que tiene.
El comando pushd tiene lo siguiente:
$ pushd ~/Desktop
Producción :
~/Desktop ~
El directorio del terminal se cambiará a Desktop. es decir, ~/Desktop$
~/Desktop$ pushd ~/Music
Producción :
~/Music ~/Desktop ~
Ahora, ha cambiado a Music.
$ pushd ~
Producción :
~ ~/Music ~/Desktop ~
Regresamos a nuestro directorio de inicio con el último comando pushd.
Por lo tanto, la tilde~, que simboliza nuestro directorio de inicio, es la primera y última entrada de la pila. Indica que a pesar de un directorio ya presente en la pila, lo agregaremos nuevamente para otros comandos pushd.
Utilice el comando popd en Linux
El comando popd se usa para eliminar directorios de la pila. Cuando miramos la pila de directorios, vemos que /home/user está en la posición 1.
Escribimos lo siguiente para pasar el número a popd para eliminarlo de la pila:
$ dirs -v -l
Producción :
0 /home/user
1 /home/user/Music
2 /home/user/Desktop
3 /home/user
$ popd +1
Producción :
~ ~/Desktop ~
Se eliminó el directorio /home/user, y todos los directorios debajo de él en la pila se subieron una posición.
$ popd
Producción :
~/Desktop
Usaremos popd para eliminar el directorio superior de la pila y reemplazarlo con el segundo directorio superior.
Este es ahora el directorio del que se mudó recientemente, por lo que ha sido redirigido a él.
Sobresellado de la pila
Es sencillo volver a los viejos hábitos y cambiar de directorio con cd.
Si lo hace, sellará el primer directorio de la pila. Es inevitable porque el primer espacio está designado para el directorio de trabajo actual y ninguno se mueve.
Para hacerlo, escriba lo siguiente en la terminal:
$ dirs -v -l
Producción :
0 /home/user/Desktop
$ cd ~/Music
~/Music$ dirs -v -l
Producción :
0 /home/user/Music
Tendrá una forma súper rápida de saltar entre carpetas una vez que se familiarice con los comandos pushd y popd y los utilice potencialmente para construir algunos alias.