其确认不是升级后转入其他文件夹了。我再10.7升10.8的时候遇到过一次，它把原“实用工具”文件夹的大部分应用全部在毫无征兆的情况下转入“其他”。terminal也不例外。理论上说terminal与内核关系紧密，是不可能消失的。
