nowhere.dk
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 t…