On Fri, Nov 15, 2013 at 05:51:22PM -0800, Adam Williamson wrote: > GNOME has a few 'preferred apps' settings left but I don't think they're > exposed in the UI anywhere. There are the following dconf keys: Settings → Details → Default applications No terminal option though. -- Regards, Olav