summaryrefslogtreecommitdiff
path: root/system-configuration.scm
blob: f27d04758740f1a8b15ef647fc449cb288eafa7d (about) (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
;; This is an operating system configuration generated
;; by the graphical installer.

( use-modules
  ( gnu ) )

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

( define keyboard-layouts ( keyboard-layout "pl" ) )

( define user-accounts
    ( cons*
      ( user-account
        ( name "marek" )
        ( comment "Marek Paśnikowski" )
        ( group "users" )
        ( home-directory "/home/marek" )
        ( supplementary-groups
          '("wheel"
            "netdev"
            "audio"
            "video" ) ) )
      %base-user-accounts ) )

( operating-system
  ( locale "pl_PL.utf8" )
  ( timezone "Europe/Warsaw" )
  ( keyboard-layout keyboard-layouts )
  ( host-name "aisaka" )
  ( users 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 openssh-service-type )
        ( service gnome-desktop-service-type )
        ( 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 ) ) )