I have a Terminal window with a dozen named tabs open *(gnome-terminal)I would like to save the current configuration and have it restored with names and directories.Is there a way to do this?I've found a solution from another user question:https://askubuntu.com/questions/310705/some-fast-way-to-save-and-restore-tabs-of-terminal/310750#310750It worked fine except for the saving and renaming of the tabs. I don't have xdotools installed and i don't have the privilege to install it as this is my office workstation. Is there any workaround on this.
Save and restore terminal tabs with custom tabs title
linux;shell;shell script;command line;gnome shell