gnome Archives - PragmaticLinux https://www.pragmaticlinux.com/tag/gnome/ Tutorials for getting things done in Linux Mon, 02 May 2022 20:12:59 +0000 en-US hourly 1 https://wordpress.org/?v=6.9 https://www.pragmaticlinux.com/wp-content/uploads/2020/04/cropped-siteicon-32x32.png gnome Archives - PragmaticLinux https://www.pragmaticlinux.com/tag/gnome/ 32 32 How to change the font of the Gnome top bar https://www.pragmaticlinux.com/2022/05/how-to-change-the-font-of-the-gnome-top-bar/?utm_source=rss&utm_medium=rss&utm_campaign=how-to-change-the-font-of-the-gnome-top-bar Mon, 02 May 2022 20:12:57 +0000 https://www.pragmaticlinux.com/?p=1552 Enjoying the Gnome desktop, including the default Gnome Adwaita theme? Just wish the font on the Gnome panel was just a tad smaller? Then you …

The post How to change the font of the Gnome top bar appeared first on PragmaticLinux.

]]> Manually install a GNOME theme https://www.pragmaticlinux.com/2021/09/manually-install-a-gnome-theme/?utm_source=rss&utm_medium=rss&utm_campaign=manually-install-a-gnome-theme Sun, 12 Sep 2021 09:29:07 +0000 https://www.pragmaticlinux.com/?p=1222 Out-of-the-box the GNOME desktop environment might strike you as minimalistic. Don’t be fooled though, because that is by design. The idea is that you extend …

The post Manually install a GNOME theme appeared first on PragmaticLinux.

]]> Manually install a Gnome Shell Extension from a ZIP file https://www.pragmaticlinux.com/2021/06/manually-install-a-gnome-shell-extension-from-a-zip-file/?utm_source=rss&utm_medium=rss&utm_campaign=manually-install-a-gnome-shell-extension-from-a-zip-file Thu, 17 Jun 2021 09:26:41 +0000 https://www.pragmaticlinux.com/?p=1050 Did the installation of a Gnome Shell Extension, through your web browser’s Gnome Shell integration add-on, result in an error? This happens sometimes due to …

The post Manually install a Gnome Shell Extension from a ZIP file appeared first on PragmaticLinux.

]]>