dirs -v
perintah akan mencantumkan tumpukan direktori dengan angka di depan setiap direktori, dan Anda dapat memberikan argumen angka ke pushd
perintah untuk membuatnya melompat ke direktori itu. Misalnya, jika dirs -v
menunjukkan bahwa direktori yang ingin Anda ubah memiliki 2
di depannya (yaitu direktori ketiga dalam daftar), menjalankan pushd +2
akan berubah ke direktori tersebut.
Untuk menghemat pengetikan, Anda dapat mempersingkat perintah tersebut dengan memberinya alias seperti ini:
alias dv="dirs -v"
alias pd=pushd
Anda dapat menggunakan karakter pengganti:
cd ../*test1 or even cd *t1
cd ../2010*test2
cd ../*bar
Mereka jauh lebih fleksibel dan Anda tidak perlu merencanakan skrip untuk setiap situasi yang berbeda, setelah terbiasa, Anda akan menggunakannya untuk semua jenis direktori. Contoh:
cd /e*/n*k will take you to /etc/network
cd /h* to /home
Mereka dapat digunakan di mana saja (ls
juga tentunya agar Anda dapat memfilter apa yang dilihat)
bash wildcard