Problem : $ execute_some_long_command <command is executing> <Accidently press middle button that inserts bunch of garbage (including, for example, `rm […]
Tag: gnome-terminal
Setting up a custom keyboard shortcut in Ubuntu 14.04 LTS to unmount/detach an external HD?
Problem : As there is no option to safety remove an external HD (the unmount leaves the disk still spinning), […]
CentOS 7 Terminal Timeout
Problem : This seems like this question should have already been answered, but I don’t see any info on google […]
How do I keep gnome-terminal width from changing when I use “reset”
Problem : When I use reset in gnome-terminal (bash, Ubuntu 9.04), the window width resets, though the height does not. […]
Setting up a custom keyboard shortcut in Ubuntu 14.04 LTS to unmount/detach an external HD?
Problem : As there is no option to safety remove an external HD (the unmount leaves the disk still spinning), […]
Will any (recent) Linux terminal emulator allow me to save my session (tabs, history, etc)?
Problem : Over time, I become invested in my terminal sessions: tabs, command history, window layout and title, etc. Eventually, […]
How can I check the verbatim characters of a bash command string?
Problem : I had this strange behavior this morning in a bash terminal : user@home:/home/user$ [ -f /etc/openvpn/client.conf ] && […]
Is there any way to keep text passed to head, tail, less, etc. to be colored?
Problem : Is there any way to keep colorization of text passed through pipe | to head, tail, less, etc.? […]
Why are xterm colors different than gnome-terminal colors?
Problem : In my work environment I use xterm, and sometimes gnome-terminal. I like gnome terminal, but some of the […]
How can I see the console output on linux like in windows?
Problem : Well, let’s say we have a application that runs in a console and is for both windows and […]
- 1
- 2