Skip to content
Commit 2bc3c973 authored by Tomaz  Canabrava's avatar Tomaz Canabrava Committed by Kurt Hindenburg
Browse files

Store the current profile for session, and restore it later

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)
parent f0e9efa4
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment