For localhost, the user might have changed the current profile
manually, so before we trigger a profile change for a ssh session
we need to store that, so we can return to it later on.
If the user manually changes the profile inside of a ssh session.
TODO: test with multiple sessions (split screen, tabs)
The SSH Manager used the modfiied names of the profiles
with the addition of "(Default)" for the profile names.
if you changed the default profile, everything would break.
This plugin adds a SSH Manager, just like PuTTY, for Konsole.
It reads and parses the ~/.ssh/config file and generates entries
based on that, it also accepts entries manually.
The file used to store the information is a json, stored locally.
Clicking on the entry: request to connect to the server
Middle click on the entry: new tab, request to connect to the server
You can also filter entries, and disable / enable the view by
the new Plugins submenu.
Tomaz Canabrava
Kurt Hindenburg
Ahmad Samir
Carlos Alves