rillr
About Guidelines Privacy Terms Log in Join Rillr
← Linux
www.omgubuntu.co.uk · Sep 12

Default terminal option coming to GNOME Settings

An option to set your default terminal picker is coming to GNOME Settings, as the image above, teased by developer Ignacy Kuchciński last week, shows. It won’t be ready in time for GNOME 51 – I’ll explain why in a minute – but those of you who don’t use the command line often enough to care about what terminal is set as your system default, may be surprised to hear you can’t currently do change it via a GUI. While you can use Settings > Apps > Default Apps to pick a preferred web browser, email client, imager viewer and […] You're reading Default terminal option coming to GNOME Settings, a blog post from OMG! Ubuntu. Do not reproduce elsewhere without permission.

Visit article ↗ ▲ 0 💬 0
Discussion

0 comments

No comments yet. Start the discussion.