summaryrefslogtreecommitdiff
path: root/system-configuration.scm
blob: 5e4e148bc7560f5906de32acd138adf6c4920016 (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
86
87
88
89
;; 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 ) )

( define package-list
  ( append
    ( map
      ( compose list specification->package+output )
      ( list
        "nss-certs"
        "trezord"
        "trezord-udev-rules" ) )
    %base-packages ) )

( define service-list
  ( append
    ( list
      ( service cups-service-type )
      ( service openssh-service-type )
      ( service gnome-desktop-service-type )
      ( set-xorg-configuration
        ( xorg-configuration
          ( keyboard-layout keyboard-layouts ) ) ) )
    %desktop-services ) )

( operating-system
  ( locale "pl_PL.utf8" )
  ( timezone "Europe/Warsaw" )
  ( keyboard-layout keyboard-layouts )
  ( host-name "aisaka" )
  ( users user-accounts )
  ( packages package-list )
  ( services service-list )
  ( 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 ) ) )