Comment on Keeping track of different targets in terminal
e0qdk@reddthat.com 1 week agoI just right click on the terminal to change the profile to whatever I feel like it should be in the moment (usually red). I do it by reflex, basically. I never felt the need to try to set up automation for different servers, but I expect there’s probably a way to do that if you really wanted to.