config.scm 3.13 KB
Newer Older
Ekaitz's avatar
Ekaitz committed
1 2 3
;; This is an operating system configuration generated
;; by the graphical installer.
(use-modules (gnu)
Ekaitz's avatar
Ekaitz committed
4
             (srfi srfi-1)
Ekaitz's avatar
Ekaitz committed
5
             ((gnu packages linux) #:prefix gnu-linux:)
6
             (tuxedo-keyboard)
Ekaitz's avatar
Ekaitz committed
7 8
             (nongnu packages linux)
             (nongnu system linux-initrd))
Ekaitz's avatar
Ekaitz committed
9

Ekaitz's avatar
Ekaitz committed
10 11 12 13
(use-service-modules desktop networking ssh xorg)

(operating-system
  (kernel linux)
14
  (kernel-loadable-modules `(,tuxedo-keyboard))
Ekaitz's avatar
Ekaitz committed
15
  (initrd microcode-initrd)
Ekaitz's avatar
Ekaitz committed
16
  (firmware (list linux-firmware))
Ekaitz's avatar
Ekaitz committed
17 18 19
  (locale "en_US.utf8")
  (timezone "Europe/Madrid")
  (keyboard-layout
Ekaitz's avatar
Ekaitz committed
20
    (keyboard-layout "es"))
Ekaitz's avatar
Ekaitz committed
21 22 23 24
  (bootloader
    (bootloader-configuration
      (bootloader grub-efi-bootloader)
      (target "/boot/efi")
Ekaitz's avatar
Ekaitz committed
25 26 27 28 29 30 31 32 33 34 35
      (keyboard-layout keyboard-layout)

      ; Doesn't work (YET)
      #;(menu-entries
        (cons (menu-entry
                (label "Ubuntu - Tuxedo OS")
                (device "primary")
                (linux "/vmlinuz")
                (initrd "/initrd"))
              '()))))

Ekaitz's avatar
Ekaitz committed
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
  (swap-devices (list "/dev/sda3"))
  (file-systems
    (cons* (file-system
             (mount-point "/boot/efi")
             (device (uuid "6BB8-3AFE" 'fat32))
             (type "vfat"))
           (file-system
             (mount-point "/")
             (device
               (uuid "eee511d3-b473-4bc0-ba63-bf3971341576"
                     'ext4))
             (type "ext4"))
           (file-system
             (mount-point "/home")
             (device
               (uuid "abed4b79-5f03-409f-84ee-7cb0b3af72af"
                     'ext4))
             (type "ext4"))
           %base-file-systems))
  (host-name "tuxedo")
  (hosts-file
    (plain-file "hosts"
                (string-append (local-host-aliases host-name)
                               "51.255.193.230 vps\n")))

  (users (cons* (user-account
                  (name "Ekaitz")
                  (comment "Ekaitz")
                  (group "users")
                  (home-directory "/home/Ekaitz")
                  (supplementary-groups
67
                    '("wheel" "netdev" "audio" "video" "lp" "dialout")))
Ekaitz's avatar
Ekaitz committed
68 69 70 71
                %base-user-accounts))
  (packages
    (append
      (map specification->package
Ekaitz's avatar
Ekaitz committed
72
           '("htop"
Ekaitz's avatar
Ekaitz committed
73 74
             "light"
             "i3-wm"
Ekaitz's avatar
Ekaitz committed
75 76 77
             "neovim"
             "nss-certs"
             "tree"
Ekaitz's avatar
Ekaitz committed
78
             "wget"
Ekaitz's avatar
Ekaitz committed
79
             "tcpdump"
Ekaitz's avatar
Ekaitz committed
80
             "openssh"))
Ekaitz's avatar
Ekaitz committed
81 82
      %base-packages))

83 84 85 86 87 88 89 90 91 92 93 94 95
  (services (cons* (udev-rules-service 'light gnu-linux:light)
                   (service gnome-desktop-service-type)
                   (bluetooth-service #:auto-enable? #t)
                   (set-xorg-configuration (xorg-configuration
                                             (keyboard-layout
                                               keyboard-layout)))
                   ; Removes ModemManager because it interferes with USB
                   ; development. If using a 3/4G modem or something we have
                   ; to activate it.
                   (remove (lambda (x) (eqv? (service-type-name
                                               (service-kind x))
                                             'modem-manager))
                           %desktop-services))))