$ vim `which guake`
find the 1000 line and change this:
self.tabs.get_children()[page].set_label(vte.get_window_title())
on this:
if self.tabs.get_children()[page].get_label().find('!') != 0:
self.tabs.get_children()[page].set_label(vte.get_window_title())
else:
return
And now you can rename your tabs permanently by adding '!' before name, like:
!PROD
!backend
!PENTAGON ROOTED
本文介绍如何在Vim编辑器中通过添加'!'符号永久性地重命名Guake终端标签,实现更高效的工作流程。
1909

被折叠的 条评论
为什么被折叠?



