Effectively work with terminal

This belongs to Research Software Engineering on Linux series


get package name for a missing command

which can print the program full path for the command, useful if multiple version is installed.

command_name without any options argument, if not found bash will prompt you the name

gnome-terminalshortcut keys

Gnome desktop support the "Ctrl+Shift+T" shortcut key to launch a new terminal windows.

Inside "gnome-terminal" window , menu "Edit|Preferences" will bring up "Keyboard Shortcuts" where you can set your custom shortcuts.

  • Ctrl+Shift+T : create a new tab

    this can be changed to "Ctrl+T" to be consistent with nautilus, Firefox.

  • Alt+1 -:Switch to Tab1
  • Alt+2 : Switch to Tab2
  • Alt+3 : Switch to Tab3
  • Ctrl + + : increase font size
  • Ctrl + – : decrease font size

Open terminal in the current folder from shortcut menu

After install nautilus-open-terminal, right click any blank space, select "open a terminal" from drop down menu

sudo apt-get install dconf-tools nautilus-open-terminal

Without install any software, right click on the any folder, the drop down menu also have the menuitem, open a terminal and cd to that folder.

Change gnome desktop acceleration key

Using command gnome-control-center or go to system settings GUI, go to "device" pane and "Keyboard", system wide shortcut keys can be set. It is worth of browsing all the system short cut, such as screenshot.


In case shortcut keys are not allow to change.

Install dconf-editor by sudo apt-get install dconf-editor

Then run dconf-editor and set the org/gnome/desktop/interface/can-change-accels boolean on.

This entry was posted in Uncategorized. Bookmark the permalink.