Skip to content

Instantly share code, notes, and snippets.

@miguelmota

miguelmota/default_terminal_emulator.sh

Last active January 11, 2020 20:09
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save miguelmota/76bafb6a8d53d87d3d11716a397cbb81 to your computer and use it in GitHub Desktop.
Save miguelmota/76bafb6a8d53d87d3d11716a397cbb81 to your computer and use it in GitHub Desktop.
Download ZIP
Linux Gnome set default shell terminal emulator
Raw
default_terminal_emulator.sh
gsettings set org.gnome.desktop.default-applications.terminal exec /usr/bin/terminator
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment