Very cool and useful. Allow me to point others who, like you and me, also have a startup script (I’m gonna have to change mine a bit now that I’ve seen yours!) or may be interested in hotkeys in the dom0 terminal:
Very cool and useful. Allow me to point others who, like you and me, also have a startup script (I’m gonna have to change mine a bit now that I’ve seen yours!) or may be interested in hotkeys in the dom0 terminal: