Tag Info

Hot answers tagged

21

TL;DR The standard way to quit htop is F10 or q. Therefore if you can't use F10, use q (lowercase).


17

You always can have the interupt signal keys Ctrl+c. Basically Ctrl+c sends the SIGINT (interrupt) signal, ; by default, this causes the process to terminate. Just like top, htop can be quit by pressing Q. SIGINT The SIGINT signal is sent to a process by its controlling terminal when a user wishes to interrupt the process. This is typically ...


5

The short version (thx @Serg) cat /etc/alternatives/x-terminal-emulator The long version sudo update-alternatives –config x-terminal-emulator and look for the * in the output ;) Example output There are 7 alternatives which provide `x-terminal-emulator’. Selection Alternative ———————————————– 1 /usr/bin/xterm 2 /usr/bin/uxterm 3 ...


4

Since you mention you solved the problem for your specific situation, below a solution for general purpose. Thanks to xdotool's --sync option, it works pretty reliable in the tests I ran; I could "send" commands to specific terminal windows and it ran perfectly without an exception. How it works in practice The solution exists from a script, which can be ...


3

If you want to know which shell: echo $SHELL You can also do ps aux | grep $(echo $$ ) for that same purpose. If you want to know filename or device name which is connected to stdin. (mostly useful in tty), run tty command Many terminals seem to mask themselves as xterm compatible, which is reported by echo $TERM or echo $COLORTERM. Virtual terminals are ...


3

If you want to know the terminal program you are using, use this: ps -o 'cmd=' -p $(ps -o 'ppid=' -p $$) Run this just after opening the terminal (shell) without forking any further shell instance. When you open up the terminal program, it basically spawns a child program, a shell. So the parent of the spawned shell is the terminal itself. In other ...


3

If you are using gnome-terminal, yes, you can disable that the F10 key opens the menu: Open gnome-terminal's menu with F10 or with the mouse, select Edit > Keyboard Shortcuts, then uncheck "Enable the menu shortcut key (F10 by default)".


2

You need a sequences of Escape characters: echo -e "\e[9mI\e[0m" or using printf printf "\e[9m%s\e[0m\n" "I" Try this: echo -e "\e[9m" Then type some text and reset with: echo -e "\e[0m" Source


2

If you just want the name of the terminal program, you'll most probably find it under Help > About.


2

if xdotool is installed: sudo apt-get install xdotool and assuming the current session's window is in front (since the command needs to be typed), just run: xdotool getactivewindow getwindowname How to get the current session's title without installing additional software If you'd like to do it without installing anything additional, you can use: ...


2

for me the following worked in our company network with proxy: cd /etc/apt mv ./apt.conf ./apt.conf.bak this is to force the system to use the new file we create now. cd ./etc/apt/apt.conf.d create new file "95proxies" and add there the content of the apt.conf file Example: Acquire::http::Proxy “http://proxy_url:proxy_port/”; Acquire::ftp::Proxy ...


1

To also uncheck the Use the system fixed width font checkbox from the command line, use: gconftool-2 --set /apps/gnome-terminal/profiles/Default/use_system_font --type=boolean false Tested on Linux Mint Cinnamon 17.1. Your mileage may vary.


1

The base16-default.dark.sh script in base16-gnome-terminal installs the Base 16 Default Dark profile for the Gnome terminal. In order to actually use it, you need to activate the profile via Terminal → Change Profile → Base 16 Default Dark which applies the profile to the current session. You probably want to use it as default profile. In order to do that, ...


1

I guess this is how you fix this. You can change the locale in /etc/default/locale. You can try setting the contents of that file to: LANG="en_US.UTF-8" LANGUAGE="en_US" source Blog post


1

Are you sure you are not mixing lowercase L with 1? ls -l (list long) shows a long list of 1 file per line but with as many lines as the terminal shows. If "ls" is the only command that does this you might have used the "1" (digit one) option somewhere. [man ls][1]: -1 Prints one entry per line of output. Your command could be aliased to using a ...


1

There could be a file with a very long name, consisting mainly of spaces, in the directory. This will force the file list into a single column. To test for the presence of such a file name, do this: find . -name *\ \ \ * This will find filenames with three or more consecutive spaces.


1

First install sudo apt-get install python-setuptools Then sudo easy_install simplegui You don't have permission to write to /usr/local/lib/python2.7/dist-packages/test-easy-install-8242.write-test it is owned by root.


1

Run sudo update-alternatives --set x-terminal-emulator $(which gnome-terminal.wrapper) The system has x-terminal-emulator , which is symlinked to a particular program. When you've installed terminator , that symlink has been somehow changed to terminator. The command above will restore that to gnome terminal.


1

I recommend checking locale charmap's output (which reports the values set by $LANG, $LC_CTYPE, $LC_ALL). This one does not directly query the terminal, but it's essential for most of the applications that the locale is set up correctly, consistently with the terminal. If it reports anything else than the actual behavior, not only your app but pretty much ...


1

Type in printenv from the terminal window to view all variables of the open session. Type in echo $COLORTERM from the terminal window. NOTE: this does not work with all terminals, one like sakura does not report this back. root@terrance-Linux:~# echo $COLORTERM gnome-terminal the one below is from an aterm terminal. root@terrance-Linux:~$ echo ...


1

The gnome-terminal option --title is often overridden by your .bashrc file which updates your terminal (or tab) title as the prompt changes. case "$TERM" in xterm*|rxvt*) PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1" ;; *) ;; esac Other posts have recommended commenting out this logic in the .bashrc, but ...


1

Ctrl+Insert for 'copy', Shift+Delete for 'cut' and Shift+Insert for 'paste' also works on most places, including GNOME terminal.


1

The simplest, working answer to the question "How to save terminal history manually?": history -a (The rest is cruft. Renaming the question title might also make sense.)


1

TL;DR No. That's (currently) not possible without changes in the source code and I assume that this is not your intention. But the idea has something. I prefer to renounce horizontal space. The only thing you can do is to switch between top and bottom: % gsettings range org.gnome.Terminal.Legacy.Settings tab-position enum 'top' 'bottom' Move ...


1

TL; DR no with gnome-terminal, but you can do it with [terminator][1]. Install terminator as usual: sudo apt-get install terminator And then run it from the dash, right click, choose "preferences" in the menu, and you can see this: Now if you open multiple tabs you have ...where you can also see a vertical split terminal.


1

This seems to be a problem related to certain fonts. See https://bugs.launchpad.net/ubuntu/+source/ttf-liberation/+bug/299158 Changing to Ubuntu Mono font in gnome-terminal solved the problem for me.


1

There is no support for a transparent gnome-terminal in GNOME 3.14. You need gnome-terminal win the version > 3.15 for that and therefore GNOME 3.16 And as @muru said: To clarify: The upstream version does not support transparency. This is a feature patched in. sudo add-apt-repository ppa:gnome3-team/gnome3 sudo add-apt-repository ...


1

All sorts of other options apart from q. Open another terminal and kill it from there. Kill it from the System Monitor task list. Close the terminal window. These assume a desktop environment. Also for servers... Ctrl-Alt-F1 (or F6/F7) and log in again to kill. Connect again (Telnet/SSH) and kill. And finally - it is open source, patch it.



Only top voted, non community-wiki answers of a minimum length are eligible