Repository files navigation

This is our opinionated, minimalist GNU Guix configuration. It featuresrde, Emacs (evil mode) and various Wayland applications.

We have patched some of our favorite applications with GNU Guile support and also created some tools from scratch in Guile, for example:

We like configuring as much as possible (WM, status bar etc.) in Guile, since it brings a unified approach to the configuration of our computing environment.

We own a number of desktop/laptop computers and they all have their own configuration file in./engstrand/systems. In the system-specific configuration file we define hardware-specific settings such as mount points for drives, LUKS encryption, the resolution and refresh rate of monitors and more.

Our user-level configurations reside in./engstrand/configs. This includes name, email address, GPG public key, default applications, personalized appearance of the window manager etc.

The entry point for applying a configuration to ourrde-powered Guix system is~/.config/guix/config.scm, so in order to reconfigure the system we run

RDE_USER=$USER \RDE_TARGET=system \sudo guix system reconfigure~/.config/guix/config.scm

and similarly, to reconfigure the home environment

RDE_USER=$USER \RDE_TARGET=home \guix home reconfigure~/.config/guix/config.scm

So, what is in~/.config/guix/config.scm? That depends on the user and system configuration we would like to apply. For example, on the desktop system namedghost that the userjohan uses,config.scm contains the following:

(use-modules (engstrand reconfigure))(make-config #:user"johan" #:system"ghost")

Thebuild-iso.sh script builds a GNU Guix System ISO that has

• the full Linux kernel
• the channels in./engstrand/channels.scm included

Passwords for e.g. git send-mail are fetched from Bitwarden using therbw binary. On newly installed computers, you need to first register your device to the Bitwarden API.

1. Login to your Bitwarden account in your browser.
2. Navigate tohttps://vault.bitwarden.com/#/settings/security/security-keys.
3. Create/view your API key.
4. Runrbw register.
5. Enter the client id and secret as requested.
6. If you are using 2FA for your account, login usingrbw login.
7. Done.

To improve the adblock in qutebrowser, you need to install the Brave adblocker. This needs to be manually downloaded from pip (for now).

Runpip install adblock, followed by:adblock-update in qutebrowser.