We have GNOME Terminal 3.14.3. This version does not support --save-config
option. Is there any other way to do so in this version? How else can one save and restore tabs? What version of gnome terminal will allow me to do so?
The error is:
Option "--save-config" is no longer supported in this version of gnome-terminal