搜索了一下，没有找到。所以将其作为新问题发布。
用法： GNOME 终端版本 3.4.1.1 Ubuntu 12.04
我曾经在 GNOME 终端中打开多个选项卡。如果数量少于 4 或 5，我能够直观地重新组织总数并使用“ALT + 3“。
当标签总数超过 6 或 7 个或更多时，很难找到第 n 个标签。
问题：有没有办法用数字重命名或更新终端标题（例如 1 表示第一个选项卡，2 表示第二个选项卡，依此类推）？这样我就可以使用“ALT + 数字“
GNOME 终端标题作为选项卡的编号/位置
搜索了一下，没有找到。所以将其作为新问题发布。
用法： GNOME 终端版本 3.4.1.1 Ubuntu 12.04
我曾经在 GNOME 终端中打开多个选项卡。如果数量少于 4 或 5，我能够直观地重新组织总数并使用“ALT + 3“。
当标签总数超过 6 或 7 个或更多时，很难找到第 n 个标签。
问题：有没有办法用数字重命名或更新终端标题（例如 1 表示第一个选项卡，2 表示第二个选项卡，依此类推）？这样我就可以使用“ALT + 数字“