Tagged Questions
1
vote
0answers
238 views
Remapping gnome-terminal shortcut keys [closed]
According to the Gnome-Termianl Usage, I found that ctrl+shift+up/down can scroll up/down a line in the terminal.
Now, I want to re-map the shortcut key, just like: alt+j/k to scroll up/down a line, ...
2
votes
1answer
451 views
Keyboard shortcut to set gnome-terminal tab title
I like to work in Linux without using the mouse, because of that I would like to know if there is any method to set a keyboard shortcut to set gnome-terminal tab title.
2
votes
1answer
829 views
How do I edit the terminal launch command in Linux Mint?
In Linux Mint (Debian-based) how can I edit what the shortcut Ctrl+Alt+t launches?
For example, I would like to issue gnome-terminal with the --maximize option, and to have it launch tmux instantly.
3
votes
1answer
528 views
How to bypass GNOME Terminal when sending keyboard input?
When running an interactive shell application, how can I send it a key (or key combination) which would normally be intercepted by GNOME Terminal? In this particular instance it's the F10 key which is ...
5
votes
3answers
1k views
Ctrl + c will not kill process
I have looked for answers and so far have found nothing to answer my question. I am currently logging in to my Ubuntu server and upon running a process I can not run any of the interrupts on it. Here ...
2
votes
1answer
408 views
Home key not working in terminal
I am using GNOME Terminal 2.7.3 and zsh 4.3.9 (x86_64-unknown-linux-gnu)
Home and End are not working. Nothing happens and nothing gets displayed when I press them. but they work when I press shift + ...
2
votes
4answers
2k views
Ctrl+C does not work in gnome-terminal
On my Linux host, Ctrl+C does not seem to work and I do not know how to proceed to make it work. I am using Ubuntu 10.04 with bash 4.1.5(1), and working in Gnome-terminal.
When I pressed Ctrl+C while ...
