Nixos configuration

the current systems are the following:

  • nixosConfiguration.flagship: dell optiplex, main

    • cinnamon & lightdm
    • home manager + nur + nix
  • nixosConfiguration.coggie:

    • no desktop env
    • raspberry pi 3b
    • nix build .#nixosConfigurations.coggie.config.system.build.sdImage
    • zstd -dc /dev/mmcblk0
    • deploy-rs -s
  • nixosConfigurations.live-iso

    • nix build .#nixosConfigurations.live-iso.config.system.build.isoImage