Guix Configuration

This is my personal set of configuration files built around the GNU Guix package manager and the RDE configuration framework.

Activate the current or a specific user’s home configuration:

make home
# or
make home/reconfigure/$USER

Activate the current or a specific host’s system configuration:

make system
# or
make system/reconfigure/$HOST

Deploy an entire system configuration and home configuration to a remote machine:

make deploy/$HOST/$USER

To alleviate maintenance burden, I prefer working on top of Guix community channels to implement new features, which I define through lock files under the ./rde/ directory. If you wish to reproduce one of my setups, please make sure to consult the pinned commits on these files.