How to reduce the titlebar size of Gnome 43

A few weeks ago I switched back to Linux as my primary OS, on a newly acquired refurbished Framework Laptop 11, and one thing that’s since been bothering me on my chosen desktop environment Gnome1 has been the HUGE titlebars: So I finally dug into solving this quickly, and came across this post on Reddit with a quite nice solution. I modified ~/.config/gtk-3.0/gtk.css and added the following contents: window.ssd headerbar.titlebar { padding-top: 2px; padding-bottom: 2px; min-height: 0; } window....

April 11, 2023 · 1 min

How to remap keys under Linux and Wayland

Edit 2024-09-09: Please be advised that this post refers to an older version of keyd that still used a different configuration format. An older version also stated the config file was stored at ~/.config/keyd, that was an error on my part. Thanks to a reader for the related heads-up! As a German living in Germany with umlauts in my last name and a US ANSI keyboard layout on all my devices1 I need to remap some stuff to be able to easily type ä, ö, ü and ß....

March 3, 2023 · Updated September 9, 2024 · 6 min

How to make dnf default to yes

I’m currently in the process of setting up my new Frame.work laptop, and since I’ve been using Debian-derivatives for the past two decades now, I decided to use the opportunity, try something new for once and installed Fedora1. Something that got annoying quickly is that the package manager command dnf defaults to “no” when asking if you really want to install a package plus its dependencies. I’m very used to apt’s behaviour here that allows me to type sudo apt install <package> and then just hit Enter on the sanity check....

March 2, 2023 · 1 min
Mastodon