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

(define takemi-os
  (operating-system
   (locale "en_US.utf8")
   (timezone "America/New_York")
   (keyboard-layout (keyboard-layout "us"))
   (host-name "takemi")
   (users (cons* (user-account
                  (name "dave")
                  (comment "David Thompson")
                  (group "users")
                  (home-directory "/home/dave")
                  (supplementary-groups
                   '("wheel" "netdev" "audio" "video")))
                 %base-user-accounts))
   (sudoers-file
    (plain-file "sudoers"
                (string-append (plain-file-content %sudoers-specification)
                               "dave ALL = NOPASSWD: ALL\n")))
   (packages
    (append
     (list (specification->package "nss-certs"))
     %base-packages))
   (services
    (append
     (list (service openssh-service-type
                    (openssh-configuration
                     (password-authentication? #f)
                     (authorized-keys
                      `(("dave" ,(local-file "dave.pub"))))))
           (service dhcp-client-service-type))
     %base-services))
   (bootloader
    (bootloader-configuration
     (bootloader grub-bootloader)
     (target "/dev/vda")
     (keyboard-layout keyboard-layout)))
   (initrd-modules
    (append '("virtio_scsi") %base-initrd-modules))
   (swap-devices (list "/dev/vda2"))
   (file-systems
    (cons* (file-system
            (mount-point "/")
            (device
             (uuid "f99d3ff5-57ea-4b20-bca7-bc2d58b4c364"
                   'ext4))
            (type "ext4"))
           %base-file-systems))))

(list (machine
       (operating-system takemi-os)
       (environment managed-host-environment-type)
       (configuration (machine-ssh-configuration
                       (host-name "64.225.6.170")
                       (system "x86_64-linux")
                       (user "dave")))))