pushdy popd, pero han existido desde siempre. También pueden acelerar drásticamente el proceso de navegación de directorios en la línea de comandos. Le mostraremos cómo usarlos.¿Qué son pushd y popd?
Una de las innovaciones que Bill Joy incorporó en su C Shell de 1978 fue el concepto de una pila de directorios y los medios para manipularla: pushdy popd. La imitación es la forma más sincera de adulación, la pila de directorios pushd, y popdpronto se incorporaron a otros shells (como Bash) e incluso a otros sistemas operativos.
El concepto de pila es simple. Los elementos se colocan en la pila uno a la vez, y el elemento agregado más recientemente siempre ocupa la posición superior. Cuando los elementos se recuperan de la pila, se eliminan, en orden, de arriba hacia abajo. Las pilas de esta naturaleza a menudo se denominan colas de último en entrar, primero en salir (LIFO).
En realidad, pushdy popdson un poco más flexibles que esto, pero este es un buen modelo a tener en cuenta por ahora.
Como nos referimos a una pila de directorios, probablemente no sea de extrañar que la "d" en pushdy sea la popdsigla de "directorio". Estos comandos le permiten insertar directorios o sacarlos de la pila de directorios.
Pero, ¿en qué nos beneficia eso?
Cómo pushd llena la pila
Cuando lo usa pushd, suceden las siguientes tres cosas:
- Cambia el directorio de la misma manera que si lo hubiera usado
cd. - El nombre y la ruta del directorio se agregan a la pila.
- La pila se muestra como una lista de directorios separados por espacios.
En los siguientes ejemplos, observe cómo crece la pila de directorios con cada nuevo pushdcomando. También tenga en cuenta que la parte superior de la pila está a la izquierda; aquí es donde aparecen las nuevas entradas.
Después del primer pushdcomando, hay dos entradas en la pila: el directorio que dejó y el que se mudó.
Para nuestro ejemplo, escribimos lo siguiente:
pushd ~ / Escritoriopushd ~ / Músicapushd ~ / Documentospushd ~ / Imágenesempujado ~
El último pushdcomando nos llevó de regreso a nuestro directorio de inicio, por lo que la primera y la última entrada en la pila son la tilde ( ~), que representa nuestro directorio de inicio. Esto muestra que, aunque un directorio ya está en la pila, se agregará nuevamente para otros pushdcomandos.
Tenga en cuenta también que la entrada más a la izquierda en la pila, que es la entrada agregada más recientemente, es su directorio actual.
El comando dirs
Puede usar el dirscomando, como se muestra a continuación, para mostrar la pila de directorios:
dirs
No afecta la pila, solo la muestra. Algunas de las opciones que puede utilizar se pushdrefieren a la posición de los directorios en la pila.
Si desea ver la posición numérica de cada directorio, puede usar la -vopción (vertical) como se muestra a continuación:
dirs -v
Si prefiere ver la ruta de acceso deletreada a su directorio de inicio en lugar de la tilde ( ~), agregue la -lopción (formato largo), así:
dirs -v -l
Agregar un directorio a la pila
Como hemos visto, cuando usa el pushdcomando, hace tres cosas: cambia su directorio, agrega el nuevo directorio a la pila y muestra la pila por usted. Puede usar la -nopción (sin rotación) para agregar un directorio a la pila sin cambiar el directorio actual.
Aquí está nuestra pila de directorios:
dirs -v -l
Ahora, usaremos el pushdcomando con la opción -n y pas en el /home/davedirectorio como parámetro. Luego, revisaremos la pila de directorios nuevamente.
Escribimos lo siguiente:
pushd -n / inicio / davedirs -v -l
El /home/dave directorio se agregó a la pila en la ranura 1, que es el segundo lugar de la pila. No puede ocupar la posición superior porque la ranura cero es siempre el directorio actual.
No dejamos el directorio actual ~/Videos, por lo que no se rotó a otra posición en la pila.
Cambio de directorio girando la pila
Puede usar parámetros numéricos con pushdpara moverse a cualquier directorio en una pila, y la pila rota cuando lo hace. El directorio que ha elegido mover se convierte en la primera entrada de la pila.
Usted hace referencia a los directorios en la pila por su número de posición. Puede contar desde la parte superior o inferior de la pila. Para números positivos, como +3, cuente desde arriba; para números negativos, como -2, cuente desde abajo.
El directorio / home / dave / Documents está en la posición tres. Podemos usar el siguiente comando para mover ese directorio:
pushd +3
Los directorios de la pila sobre el directorio que hemos elegido se mueven al final de la pila. Nuestro directorio elegido ahora ocupa la primera posición y nos trasladamos a ese directorio.
Si queremos cambiar al directorio en la parte inferior de la pila, podemos usar el siguiente comando:
pushd -0
El último directorio se mueve a la primera ranura y todos los demás se mueven hacia abajo en la pila. Nos cambiamos al ~/Picturesdirectorio.
El comando popd
Puede utilizar el popdcomando para eliminar directorios de la pila.
Si miramos la pila de directorios, podemos ver que el directorio en la posición 1 es /home/dave. Para eliminar esto de la pila, escribimos lo siguiente para pasar el número a popd:
dirs -v -lpopd +1
El /home/davedirectorio se eliminó y los que estaban debajo de él en la pila se han movido hacia arriba un lugar.
Al igual que podemos con pushd, podemos contar desde la parte inferior de la pila con popd. Para eliminar el último directorio de la pila, escribimos:
popd -0
El ~/Musicdirectorio se elimina de la última posición de la pila.
Para cambiar el directorio, haga algo y luego vuelva al directorio anterior, puede usar pushdy popdjuntos.
Usaremos pushdpara movernos a un directorio diferente. Usaremos popdpara descartar el directorio superior de la pila y movernos al directorio en la segunda posición. Este es el directorio del que acaba de mudarse, por lo que se lo devuelve al directorio en el que estaba originalmente.
Escribimos lo siguiente:
empujado ~popd
Comenzamos en el ~/Projectsdirectorio, pushdal directorio de inicio y luego de popdregreso al ~/Projectsdirectorio.
Girar a través de toda la pila
Vamos a ilustrar cómo rotar una pila con algunos directorios anidados, pero puede usar cualquier directorio en cualquier parte del sistema de archivos.
Nuestro nivel más profundo de anidación es:
/ inicio / dave / Proyectos / htg / articulosDesde el directorio de inicio, descenderemos progresivamente a través de cada directorio hasta llegar al directorio de artículos. Luego, veremos la pila de directorios.
Escribimos lo siguiente:
pushd ~ / Proyectospushd htgartículos pushddirs -v -l
Cuando emite pushd +1comandos repetidamente , puede recorrer la pila de directorios. Si hace esto con frecuencia, pushd +1sería un buen candidato para un alias.
Escriba lo siguiente:
pushd +1
Estampado sobre la pila
Es fácil volver a los viejos hábitos y usarlos cdpara cambiar de directorio. Si lo hace, sellará el primer directorio de la pila. Esto es inevitable, ya que el primer espacio está reservado para el directorio de trabajo actual; ninguno de los otros cambia de posición.
Para hacer esto, escriba lo siguiente:
dirs -v -lcd ~ / Músicadirs -v -l
Una vez que se acostumbre a los comandos pushdy popd(y, tal vez, los use para crear algunos alias), tendrá una forma súper rápida de saltar entre directorios.
Es por eso que nos quedamos en la línea de comandos . Rocas de eficiencia, ¿verdad?
0 Comentarios