Warning: file_get_contents(/data/phpspider/zhask/data//catemap/4/string/5.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Terminal Can';在Ubuntu上找不到终端的编辑_Terminal - Fatal编程技术网

Terminal Can';在Ubuntu上找不到终端的编辑

Terminal Can';在Ubuntu上找不到终端的编辑,terminal,Terminal,我刚刚发现,当我在Ubuntu(unity)操作系统上启动gnome terminal时,我找不到它的编辑选项,我可以访问顶部栏上的编辑来更改terminal的字体,但现在当我将光标移动到顶部栏时,除了“terminal”标题外,什么都没有 我应该如何编辑终端首选项 很抱歉,我对Ubuntu不太熟悉,因此我不知道应该提供什么更多信息,如果有必要,请通知我。如果您将鼠标悬停在终端的任何部分上,然后右键单击,将显示选项列表。其中一个选项是profiles,将鼠标悬停在上面,然后单击preferenc

我刚刚发现,当我在Ubuntu(unity)操作系统上启动gnome terminal时,我找不到它的编辑选项,我可以访问顶部栏上的编辑来更改terminal的字体,但现在当我将光标移动到顶部栏时,除了“terminal”标题外,什么都没有

我应该如何编辑终端首选项


很抱歉,我对Ubuntu不太熟悉,因此我不知道应该提供什么更多信息,如果有必要,请通知我。

如果您将鼠标悬停在终端的任何部分上,然后右键单击,将显示选项列表。其中一个选项是profiles,将鼠标悬停在上面,然后单击preferences以调出许多选项,您可以根据自己的喜好进行配置

这个问题似乎离题了,更适合于@EatÅPeach抱歉,但它是alrady回答的,所以我只能下次记住它。当然我会的,但我只能在6分钟后接受它。