Tag Info

New answers tagged

0

I was just looking for essentially the same solution. Google search for "ssh-add on demand" found a number of posts, including this one, and two that look useful under two different assumptions: Python script Shell alias for ssh


3

You can change the default font and font size under Preferences -> Interface -> Output. Check the "Font override" checkbox and then set your font and size in the bar to the right. You can change it to whatever you want: and make it as big as you want:



Top 50 recent answers are included