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

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 ß. On Windows I solved this with Autohotkey, mapping AltGr+a to ä, AltGr+o to ö, AltGr+u to ü and AltGr+s to ß (well, technically RAlt - the right Alt key). That has burned itself into my muscle memory now, and so while currently setting up my new Framework laptop under Linux, with Gnome running on Wayland, I was looking for a way to remap the keys to this layout as well....

March 3, 2023 · 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