Change the default terminal emulator in GNOME 3

After using Linux Mint with Cinnamon for a long time I am now back with Ubuntu with GNOME (reluctantly, I may add). One thing I have noticed is there does not seem to be an option in the settings to change your preferred terminal emulator. Luckily it can be changed in several other ways, The generic fix in a terminal, write $ gsettings set org.gnome.desktop.default-applications.terminal exec tilix In this case I have changed to the Tilixterminal emulator....

October 29, 2017 · 1 min · alj

Tip: Fixing character encoding in Terminator 0.14 (Ubuntu 10.04)

I’ve been using the excellent terminal emulator Terminator for a long time. Terminator sports (among other things) split screen and “cluster support” (grouping of screens, making it possible to type the same thing in all terminals). In previous versions of Ubuntu (Terminator versions prior to 0.14) Terminator would pick all settings from GNOME Terminal, including character encoding (ISO-8859-15 in my case). Apparently this is no longer the case in Ubuntu 10....

March 29, 2010 · 1 min · alj