What does one do to fix the title bars?
cat << EOF > ~/.config/gtk-3.0/gtk.css
/* Make window title bars more compact.
*
* From: https://unix.stackexchange.com/questions/276951
*/
headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
margin-top: 2px; /* same as headerbar side padding for nicer proportions */
margin-bottom: 2px;
}
EOFNeed to set up device #25?
Upload and run. You're guaranteed to get the same system as device #24,23...
You can keep it in source control, etc.
If it (or guix - no systemd FTW) takes off, I can't imagine using another distro again.
Unfortunately, though, it doesn't have enough maintainers yet (a year or so ago nginx was some 4 or 5 versions behind, and they definitely don't do backports/LTS).
GuixSD seems nice, but seems to have no method for installing non-free software, which is, unfortunately, necessary for many setups.
One thing I would like to have is a Nix/Guix wrapper for Debian packages (and possibly other packages/distros), so I could take advantage of Debian's robust ecosystem, and NixOS/GuixSD's totally functional environment.
After switching to Fedora because we're using CentOS at work, I've come to like it. DNF and yum are fine replacements for APT. A PPA analog (copr) is just a 'dnf copr enable user/project_name'. 'dnf history' shows every transaction on my system and makes it easy to undo installations.
The only things I don't like on an out-of-the-box Fedora installation are the stupid, touchscreen sized title bars in GNOME 3 and SELinux - which is fortunately easily disabled.