Android

Comenzi Pushd și popd în linux

Linux основы. Терминал в Ubuntu. Команда cd, pushd, popd.

Linux основы. Терминал в Ubuntu. Команда cd, pushd, popd.

Cuprins:

Anonim

pushd și popd sunt comenzi care vă permit să lucrați cu stiva de director și să modificați directorul de lucru curent în Linux și alte sisteme de operare similare Unix. Deși pushd și popd sunt comenzile foarte puternice și utile, acestea sunt subestimate și sunt utilizate rar.

În acest tutorial, vă vom arăta cum să utilizați comenzile pushd și popd pentru a naviga în arborele directoare ale sistemului.

Pila de director

Stiva de directoare este o listă de directoare în care ați navigat anterior. Conținutul stivei de directoare poate fi văzut utilizând comanda dirs . Directoarele sunt adăugate la stivă la schimbarea într-un director folosind comanda pushd și eliminate cu ajutorul comenzii popd .

Directorul de lucru curent este întotdeauna în partea de sus a stivei de directoare. Directorul de lucru curent este directorul (folderul) în care utilizatorul lucrează în prezent. De fiecare dată când interacționezi cu linia de comandă, lucrezi într-un director.

pwd vă permite să aflați în ce director vă aflați.

Când navigați prin sistemul de fișiere, utilizați tasta Tab pentru a completa complet numele de directoare. Adăugarea unei lamele la sfârșitul numelui directorului este opțională.

pushd , popd și dirs sunt dirs coajă, iar comportamentul său poate diferi ușor de la coajă la coajă. Vom acoperi versiunea incorporată a comenzilor Bash.

comanda pushd

Sintaxa pentru comanda pushd este următoarea:

pushd

De exemplu, pentru a salva directorul curent în partea de sus a stivei de directoare și pentru a schimba la /var/www ar trebui să tastați:

~$ pushd /var/www

La succes, comanda de mai sus va tipări stiva de directoare. ~ este directorul în care am executat comanda pushd . Simbolul tilde ~ înseamnă directorul de acasă.

/var/www ~

pushd salvează mai întâi directorul de lucru curent în partea de sus a stivei și apoi navighează în directorul dat. Întrucât directorul curent trebuie să fie întotdeauna în partea de sus a stivei, odată schimbat noul director curent trece în partea de sus a stivei, dar nu este salvat în stivă. Pentru a-l salva trebuie să invocați pushd din ea. Dacă utilizați cd pentru a schimba un alt director, elementul superior al stivei se va pierde,

Să adăugăm un alt director la stivă:

/var/www$ pushd /opt

/opt /var/www ~

Pentru a suprima modificarea implicită a directorului, utilizați opțiunea -n . De exemplu, pentru a adăuga directorul /usr/local la stivă, dar nu a schimba în el, ar trebui să tastați:

/opt$ pushd -n /usr/local

Cum directorul curent (care este întotdeauna în partea de sus) nu este modificat, directorul /usr/local este adăugat al doilea din partea superioară a stivei:

/opt /usr/local /var/www ~

pushd acceptă două opțiuni, +N și -N care vă permite să navigați în al Nth director al stivei. Opțiunea +N schimbă la cel de-al Nth element al listei de stivă, de la stânga la dreapta începând cu zero. Când se folosește -N , direcția numărării este de la dreapta la stânga.

Pentru a ilustra mai bine opțiunile, să imprimăm stiva de director curentă:

/opt$ dirs -l -v

Ieșirea va afișa o listă indexată a stivei de directoare:

0 /opt 1 /usr/local 2 /var/www 3 /home/linuxize

Când numeri de sus în jos (sau de la stânga la dreapta), indexul directorului este 2 .

pushd +2

Când numeri de jos în sus indexul directorului /var/www este 1 .

pushd -1.

Când este folosit fără niciun argument, pushd va comuta primele două directoare și va face din nou partea superioară a directorului curent. Aceasta este aceeași ca atunci când utilizați comanda cd - .

popd Command

Comanda popd are forma:

popd

Când este utilizat fără niciun argument, popd elimină directorul de top din stivă și navighează în noul director de top.

Să zicem că avem următoarea stivă de directoare:

/opt /usr/local /var/www /etc/nginx ~

/opt$ popd

Ieșirea va arăta noua stivă de directoare:

/usr/local /var/www /etc/nginx ~

Opțiunea -n suprimă modificarea implicită a directorului și elimină cel de-al doilea element din stivă:

/opt$ popd -n

/usr/local /etc/nginx ~

La fel ca pushd , popd acceptă de asemenea opțiunile +N și -N care pot fi utilizate pentru a elimina directorul al Nth al stivei.

/opt$ popd +1

/usr/local ~

Concluzie

În mod normal, folosiți comanda cd pentru a vă deplasa de la un director la altul. Cu toate acestea, dacă petreceți mult timp pe linia de comandă, comenzile pushd și popd vor crește productivitatea și eficiența.

terminalul bash