Save and restore session of the Gnome Terminal
Thu, Mar 13, 2014