🌟

pushd のディレクトリスタックを共有する

2024/02/29に公開

Zenn を GitHub と連携し、bash と vim を使って記事を書いています。久しぶりにシェルと vim を使うのでいろいろと思い出して時間がかかります。そう言えば pushd とか使っていたな、とか。.bashrc にこんな感じで書いていました。

alias	pwd='dirs -v'
alias	pd='pushd'
alias	pd1='pushd +1'
alias	pd2='pushd +2'
alias	pd3='pushd +3'
alias	pd4='pushd +4'
alias	pd5='pushd +5'
alias	pd6='pushd +6'

ところで昔は複数の端末を開いてその間でディレクトリスタックを共有していたと思いましたが、その方法が分かりませんでした。色々調べてやっと分かったのがこれです。

tcsh の dirs 組み込みコマンド : ディレクトリー・スタ ックを出力する

これによると

dirs -S # ディレクトリスタックをファイルに書き込む
dirs -L # ディレクトリスタックをファイルから読み込む

tcsh のコマンド特有のオプションみたいです。そういえば昔は tcsh を愛用していました。
こういうのに頼らなくても、今はもっとスマートな方法があるかもしれません。

GitHubで編集を提案

Discussion