在 Ubuntu 14.10 中，如果我打开了多个终端选项卡，我可以右键单击一个终端选项卡并重命名它。在 Ubuntu 15.04 中我找不到这个功能。
有没有简单的方法可以找回它？
这是当前版本：
$ gnome-terminal --version
GNOME Terminal 3.14.2
我正在尝试从文件夹创建一个 zip 文件，并且我想.git从生成的 zip 文件中排除子文件夹。
我已经转到我要压缩的文件夹（称为 bitvolution）的父文件夹，我正在做：
zip -r bitvolution.zip bitvolution -x ".git"
但它不排除.git子文件夹。
我尝试了各种组合，-x .git*, -x \.git/*, -x .git/\*, -x \.git/\*. 我也尝试使用 exclude 参数的完整路径......但只是没有到达那里。