An option pick a default terminal is to GNOME Settings, as the image above, teased by developer Ignacy Kuchciński last week, shows. Those of you who don’t use the command line often enough to care […]
