Comando pushd su Linux: per salvare e cambiare le cartelle di lavoro
Con il comando pushd di Linux è possibile salvare i percorsi delle directory, passare da una directory all’altra e aggiungerle allo stack. Sebbene esistano altri comandi Linux per queste operazioni, pushd offre comunque alcuni vantaggi.
Cos’è il comando pushd di Linux?
Il comando pushd di Linux è uno di quelli meno utilizzati dagli utenti quotidianamente. In realtà è un peccato, perché ha un grande potenziale e può sicuramente facilitare l’uso della riga di comando. Il compito principale di pushd su Linux è quello di salvare il percorso della directory corrente e metterlo in cima allo stack. In questo modo è più facile tornare a una specifica directory di lavoro.
Il comando pushd non è standard solo nelle comuni distribuzioni Linux come Debian o Ubuntu, ma è anche familiare ad alcuni altri sistemi operativi.
Come funziona pushd di Linux?
Se esegui il comando pushd e crei una directory specifica come parametro, questa diventa automaticamente la directory di lavoro corrente. Allo stesso tempo, il nome e il percorso della directory selezionata vengono posizionati in cima allo stack. Se esegui pushd senza ulteriori specifiche, la directory in cima allo stack diventa la directory di lavoro corrente; le due directory più in alto si scambiano quindi la posizione. Sebbene sia possibile utilizzare in alternativa il comando cd di Linux, questo richiede spesso diverse esecuzioni per le operazioni più estese, mentre pushd porta direttamente all’obiettivo.
Qual è la sintassi del comando pushd?
La sintassi di pushd è sempre la stessa. Di seguito vedi come si forma il comando:
$ pushd [opzioni] [directory]
Se non specifichi una directory, verrà utilizzata automaticamente la directory in cima allo stack.
Quali opzioni ha pushd su Linux?
Esiste solo un’altra opzione per il comando pushd, oltre a quelle standard “-h” e “-v”: con “-n” hai la possibilità di aggiungere una nuova directory allo stack senza influenzare la directory corrente. Ciò significa che la nuova directory si sposta nella seconda posizione dello stack e la cartella corrente rimane in cima.
Esempi per l’uso del comando pushd di Linux
Per comprendere un po’ meglio la funzionalità del comando pushd e vederne i vantaggi, ti forniamo alcuni esempi di seguito.
$ pushd ~/esempio
Con questo comando, la directory “esempio” diventa la nuova cartella di lavoro.
$ pushd -n ~/immagini
Se esegui il comando in questo modo, la directory Immagini verrà inserita al secondo posto nello stack. Tuttavia, continuerai a lavorare nella directory corrente.
Articoli simili
jivacoreShutterstock Comando rm su Linux: come cancellare directory e file
Con il comando rm su Linux si rimuovono file o directory tramite il terminale. Questo comando è quindi molto importante per il lavoro quotidiano nella shell. In questo articolo imparerete come funziona rm su Linux, come si presenta e quali sono le sue opzioni. Con l’aiuto di alcuni esempi pratici, potrete comprenderne l’utilità.
Kali Linux: cos’è “hacker Linux”?
Chiunque voglia controllare il proprio computer o la rete per le vulnerabilità, recuperare i dati persi o decifrare le password, troverà il sistema operativo giusto in Kali Linux. La distribuzione open source offre oltre 600 strumenti di sicurezza. Vi spieghiamo cos’è esattamente Kali Linux, quali capacità ha e perché il sistema è anche conosciuto come “hacker Linux”.
jivacoreShutterstock Le caratteristiche più importanti del comando grep
Con i comandi grep su Linux potete cercare e filtrare molto velocemente e con precisione caratteri e stringhe di caratteri anche nei file di grandi dimensioni. Vediamo più dettagliatamente che cos’è grep, com’è strutturato, i suoi vantaggi e quali possibilità vi offre. Alcuni esempi pratici vi mostreranno come funziona questo utile comando nel suo uso più classico.
