Pablo Fraile Infrastructure docs

NixOS Configurations

• How to install NixOS on a new device
• Backups solution and how to add one

Known issues:

• We’re using autofirma-nix for signing files with my dni (spain identification certificate). It has some issues:
  • Opensc doesn’t allow to have the yubikey and a smartcard connected at the same time. You have to disconnect the yubikey and then add the smartcard with the dni-e before openning the program autofirma.
  • You must run autofirma-setup (with firefox opened) the first time you install firefox.

Other devices not managed by nixos

• Kobo Clara Colour