defal7mint My GNU/Linux stuff Update Jan 2022: GNU for now am I right TODO: Install and configure a Desktop Manager (sddm or lightdm) drugs GTK Themes to not forget: https://www.gnome-look.org/p/1258305