;; This is an operating system configuration generated
;; by the graphical installer.

( use-modules
  ( gnu ) )

( use-service-modules
  cups
  desktop
  networking
  ssh
  xorg )

( operating-system
  ( kernel
    ( specification->package "linux-libre@5.10" ) )
  ( locale "pl_PL.utf8" )
  ( timezone "Europe/Warsaw" )
  ( keyboard-layout
    ( keyboard-layout "pl" ) )
  ( host-name "aisaka" )
  ( users
    ( cons*
      ( user-account
        ( name "marek" )
        ( comment "Marek Paśnikowski" )
        ( group "users" )
        ( home-directory "/home/marek" )
        ( supplementary-groups
          '("wheel"
            "netdev"
            "audio"
            "video" ) ) )
      %base-user-accounts ) )
  ( packages
    ( append
      ( map
        ( compose list specification->package+output )
        ( list
          "nss-certs"
          "trezord"
          "trezord-udev-rules" ) )
      %base-packages ) )
  ( services
    ( append
      ( list
        ( service cups-service-type )
        ( service iptables-service-type
          ( iptables-configuration
            ( ipv4-rules
              ( local-file "iptables.tor.rules" ) )
            ( ipv6-rules
              ( local-file "iptables.tor.rules" ) ) ) )
        ( service openssh-service-type )
        ( service gnome-desktop-service-type )
        ( service tor-service-type
          ( tor-configuration
            ( config-file
              ( local-file "torrc" ) ) ) )
        ( set-xorg-configuration
          ( xorg-configuration
            ( keyboard-layout keyboard-layout ) ) ) )
      %desktop-services ) )
  ( bootloader
    ( bootloader-configuration
      ( bootloader grub-bootloader )
      ( targets
        ( list "/dev/sda" ) )
      ( keyboard-layout keyboard-layout ) ) )
  ( swap-devices
    ( list
      ( swap-space
        ( target
          ( uuid "73bed3f9-be07-40ad-a228-577cd24f2e1d" ) ) ) ) )
  ( mapped-devices
    ( list
      ( mapped-device
        ( source
          ( uuid "887ac37f-2919-41a0-a62a-e1ff5ea2d6cc" ) )
          ( target "aisaka-root" )
          ( type luks-device-mapping ) ) ) )
  ( file-systems
    ( cons*
      ( file-system
        ( mount-point "/" )
        ( device "/dev/mapper/aisaka-root" )
        ( type "btrfs" )
        ( dependencies mapped-devices ) )
      ( file-system
        ( mount-point "/boot" )
        ( device
          ( uuid "4f77b5fc-56ad-43ae-b6ec-e5adc8c48587" 'ext4 ) )
        ( type "ext4" ) )
      %base-file-systems ) ) )