私は日常的にmf
の代わりにmv
と入力しますが、簡単に終了するのは好きではありません。 mf
は、それが何であれ、メタフォントコマンドであることを理解しています。
alias mf='mv'
しても安全なので、心配する必要はありませんか?それは他のものに干渉しますか?
mf
を実行する必要がない場合は、そうです。mf
をmv
にエイリアスするのは安全です。ランニング alias mf='mv'
手動では、現在のシェルにのみ影響し、インタラクティブなシェル起動スクリプトで実行します(通常、~/.bashrc
for Bash)は、インタラクティブシェルのmf
のみを変更します。
mf
を実行しようとして、MetaFontを期待しているプログラムは、これらの変更の影響を受けません。