diff options
Diffstat (limited to 'config.scm')
-rw-r--r-- | config.scm | 119 |
1 files changed, 0 insertions, 119 deletions
diff --git a/config.scm b/config.scm deleted file mode 100644 index ce4e561..0000000 --- a/config.scm +++ /dev/null @@ -1,119 +0,0 @@ -;; This is an operating system configuration generated -;; by the graphical installer. -(use-modules (gnu) - (srfi srfi-1) - ((gnu packages linux) #:prefix gnu-linux:) - (gnu packages admin) - (gnu packages certs) - (gnu packages ssh) - (gnu packages vim) - (gnu packages wm) - (gnu packages wget) - (gnu packages xdisorg) - (gnu packages xorg) - (tuxedo-keyboard) - (nongnu packages linux) - (nongnu system linux-initrd)) - -(use-service-modules desktop networking ssh xorg) - -(operating-system - (kernel linux) - (kernel-loadable-modules `(,tuxedo-keyboard)) - (initrd microcode-initrd) - (firmware (list linux-firmware)) - (locale "en_US.utf8") - (timezone "Europe/Madrid") - (keyboard-layout - (keyboard-layout "es")) - (bootloader - (bootloader-configuration - (bootloader grub-efi-bootloader) - (target "/boot/efi") - (keyboard-layout keyboard-layout) - - ; Doesn't work (YET) - #;(menu-entries - (cons (menu-entry - (label "Ubuntu - Tuxedo OS") - (device "primary") - (linux "/vmlinuz") - (initrd "/initrd")) - '())))) - - (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 - '("wheel" "netdev" "audio" "video" "lp" "dialout"))) - %base-user-accounts)) - (packages - (cons* - htop - gnu-linux:light - i3-wm - neovim - nss-certs - tree - wget - tcpdump - openssh - xf86-video-intel - xf86-input-wacom - %base-packages)) - - (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) - (modules (append %default-xorg-modules - (list xf86-input-wacom))) - (extra-config - '("\n" - "\n" - "Section \"InputClass\"\n" - " Identifier \"libinput touchpad catchall\"\n" - " Driver \"libinput\"\n" - " MatchIsTouchpad \"on\"\n" - " MatchDevicePath \"/dev/input/event*\"\n" - " Option \"Tapping\" \"on\"\n" - " Option \"TappingDrag\" \"on\"\n" - " Option \"DisableWhileTyping\" \"on\"\n" - "EndSection\n" - )))) - ; 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)))) |