ターミナルの一時退避

どのバージョンからかしらないが、ターミナルの設定を記憶・復元するコマンドが出来ていた。

現在のターミナルを覚えるには、 set term push、そのターミナルに戻すのは set term pop。一時的にファイルに出力などする場合に便利。なお、起動時に、初期ターミナルは自動的に記憶されているので、 pop するだけで元に戻せる。

なお、名前からいかにもスタックで記憶している(つまり、何段階も覚えられる)ように見えるが、過去のターミナル設定は忘れるので注意。なんで、 save/restore とかにしなかったんだ…。