Hoe gebruik je het Linux-commando pushd?
Met Linux pushd sla je directorypaden op, wissel je tussen directories en voeg je ze toe aan je stack. Hoewel er andere Linux-commando’s zijn voor deze bewerkingen, heeft pushd een aantal duidelijke voordelen.
Wat is het Linux-commando pushd?
pushd is een van de commando’s in Linux die niet zo bekend is als andere commando’s voor dagelijks gebruik van Linux. Dat is jammer, want het commando heeft veel potentieel en kan het gebruik van de opdrachtregel vergemakkelijken. De belangrijkste taak van Linux pushd is het opslaan van het huidige directorypad en dit naar de top van uw stack te verplaatsen. Dit maakt het gemakkelijker voor u om terug te keren naar een bepaalde werkdirectory.
pushd is standaard in gangbare Linux-distributies zoals Debian of Ubuntu en andere besturingssystemen.
Hoe werkt Linux pushd?
Wanneer u het pushd-commando uitvoert om een specifieke map aan te maken als parameter, wordt deze automatisch uw huidige werkdirectory. Tegelijkertijd worden de naam en het pad van de geselecteerde map naar de bovenkant van uw stack verplaatst. Als u pushd zonder verdere specificaties uitvoert, wordt de map bovenaan uw stack uw huidige werkmap; de bovenste twee mappen wisselen dus van positie. Hoewel u ook het Linux-cd-commando kunt gebruiken, zijn daarvoor meerdere uitvoeringen nodig voor uitgebreidere bewerkingen, terwijl pushd direct naar het doel gaat.
Wat is de syntaxis van het pushd-commando?
De syntaxis van pushd ziet er altijd hetzelfde uit:
$ pushd [Options] [Directory]bashAls u geen map opgeeft, wordt automatisch de map bovenaan uw stack gebruikt.
Welke opties biedt Linux pushd?
Er is slechts één andere optie voor het pushd-commando naast de standaardopties ‘-h’ en ‘-v’. Met ‘-n’ kunt u een nieuwe map aan de stack toevoegen zonder dat dit invloed heeft op uw huidige map. Dit betekent dat de nieuwe map naar de tweede positie in de stack wordt verplaatst en uw huidige map bovenaan blijft staan.
Voorbeelden van het Linux-commando pushd
Om u te helpen begrijpen hoe het pushd-commando werkt en om de voordelen ervan nader te bekijken, volgen hier enkele voorbeelden.
$ pushd ~/examplebashGebruik deze opdracht om de map ‘voorbeeld’ als uw nieuwe werkdirectory in te stellen.
$ pushd -n ~/imagesbashAls u het commando op deze manier uitvoert, wordt de map Images op de tweede plaats in uw stack ingevoegd. U blijft echter in uw huidige map werken.