为 mf 命令添加别名安全吗？

Question

我经常打字mf而不是mv，而且它不喜欢轻易退出。我知道这mf是一个元字体命令，无论它是什么。

这样安全吗alias mf='mv'，这样我就不用担心了？会不会干扰其他事情？

Answer 1

如果您从不需要运行mf，那么是的，别名mftomv是安全的。手动运行alias mf='mv'只会影响当前 shell，在交互式 shell 启动脚本（通常~/.bashrc是 Bash）中运行它只会mf在交互式 shell 中发生更改。

任何尝试运行mf并期望使用 MetaFont 的程序都不会受到这些更改的影响。