Is there any reason for not setting up an alternate profile for tasks like that and using:
?Code:gnome-terminal --window-with-profile=xxxxx
Is there any reason for not setting up an alternate profile for tasks like that and using:
?Code:gnome-terminal --window-with-profile=xxxxx
Ahh, ok. Didn't catch the context. (Brain's in learning-common-lisp-land today)
Bookmarks