Tagged Questions
2
votes
1answer
183 views
Is there a way to temporarily change the terminal colour?
I use the gnome-terminal and most of my editors with a white on black theme as I find its easier on the eyes. One of my labs requires screenshots of the terminal (with the process) to be submitted ...
4
votes
4answers
182 views
How to send all output to a pager by default?
git has a very nice feature for many of its commands: The output on an interactive terminal is passed to a pager by default, in such a way that it only keeps the pager open if there's more than one ...
1
vote
1answer
384 views
Gnome Terminal won't autocomplete
My gnome-terminal on a ubuntu 10.10 machine is not working the way it should work. No autocomplete is working. ctrl + l won't clear the screen, bash prompt is simply a $ and nothing else. I got this ...
1
vote
2answers
79 views
Narrow characters
It would be awesome to modify spark to print narrow characters in for example Gnome Terminal. Is this at all possible with Bash / Python?
2
votes
2answers
70 views
How can I create a terminal window with one tab per long-running script that I can individually kill with ctrl-C and restart?
I am working on an application that requires running many long running scripts, some of which I want to restart from time to time. Currently, I am trying to use gnome-terminal to solve this problem, ...
3
votes
2answers
527 views
Why does Ctrl+Arrow make my terminal switch to a strange mode?
When i type Ctrl+Left or Ctrl+Right within Guake or gnome-terminal the last one's behaviour turns to a some kind of non-usual mode: - key acts like arrow up and + like arrow down, v runs Nano, etc. ...
8
votes
2answers
6k views
Is it possible to set Gnome Terminal's title to “user@host” for whatever host I'm connected to?
I'd like to set the terminal title to user@host so I can easily tell which machine I'm connected to from the window title. Is there a way to do this from SSH or from GNOME Terminal?
