ターミナルの一時退避
どのバージョンからかしらないが、ターミナルの設定を記憶・復元するコマンドが出来ていた。
現在のターミナルを覚えるには、 set term push
、そのターミナルに戻すのは set term pop
。一時的にファイルに出力などする場合に便利。なお、起動時に、初期ターミナルは自動的に記憶されているので、 pop するだけで元に戻せる。
なお、名前からいかにもスタックで記憶している(つまり、何段階も覚えられる)ように見えるが、過去のターミナル設定は忘れるので注意。なんで、 save/restore とかにしなかったんだ…。