在 gnome-terminal 中切换选项卡的命令

Question

有没有办法通过脚本切换 gnome-terminal 的选项卡？我知道 xdotool，但我需要按名称切换到选项卡。至少有没有办法从控制台知道选项卡名称列表或当前选项卡名称？

Answer 1

不，gnome-terminal 没有这样的选项。