89luca89 / gedit-external-tools-savesession Goto Github PK

This repo is to setup a plugin for Saving and Restoring a session with Gedit

Installation You need to install the gedit-plugins package and enable the External-tool plugin

Then you need to copy the repo :

`mkdir -p ~/.config/gedit/tools`
`cd ~/.config/gedit/tools`
`git clone https://github.com/89luca89/Gedit-External-Tools-Session`

After that, open gedit and enable the External-tool plugin

Now you can enjoy this plugin! Ctrl+Alt+R will prompt to restore a session

Ctrl+Alt+S will prompt to save a session (new or overwriting an existing one

You can also launch the action going to: Menu -> Tools -> External Tools