Skip to content

Instantly share code, notes, and snippets.

@jro

jro/config.scm Secret

Last active November 27, 2015 22:51
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jro/59cf332dd7b0528b0526 to your computer and use it in GitHub Desktop.
Save jro/59cf332dd7b0528b0526 to your computer and use it in GitHub Desktop.
;; This is an operating system configuration template
;; for a "bare bones" setup, with no X11 display server.
(use-modules (gnu))
(use-package-modules admin)
(operating-system
(host-name "freak")
(timezone "Chicago/USA")
(locale "en_US.UTF-8")
;; Assuming /dev/sdX is the target hard disk, and "root" is
;; the label of the target root file system.
(bootloader (grub-configuration (device "/dev/sdX")))
(file-systems (cons (file-system
(device "root")
(title 'label)
(mount-point "/")
(type "ext4"))
%base-file-systems))
;; This is where user accounts are specified. The "root"
;; account is implicit, and is initially created with the
;; empty password.
(users (cons (user-account
(name "jro")
(comment "jro")
(group "users")
;; Adding the account to the "wheel" group
;; makes it a sudoer. Adding it to "audio"
;; and "video" allows the user to play sound
;; and access the webcam.
(supplementary-groups '("wheel"
"audio" "video"))
(home-directory "/home/jro"))
%base-user-accounts))
;; Globally-installed packages.
(packages %base-packages)
;; Add services to the baseline: a DHCP client and
;; an SSH server.
;;(services (cons* (dhcp-client-service)
;; (lsh-service #:port-number 2222)
;; %base-services)))
(services %base-services)
jro@stitch:~$ sudo e2label /dev/sda4
root
# The ubuntu grub.cfg is huge..
### BEGIN /etc/grub.d/40_custom ###
# This file provides an easy way to add custom menu entries. Simply type the
# menu entries you want to add after this comment. Be careful not to change
# the 'exec tail' line above.
menuentry "GNU with Linux-Libre 4.2.5 (alpha)" {
# Set 'root' to the partition that contains the kernel.
search --file --set /gnu/store/zbm09fk0wxkw2wyygnn4gcfxj8s31ajd-linux-libre-4.2.5/bzImage
linux /gnu/store/zbm09fk0wxkw2wyygnn4gcfxj8s31ajd-linux-libre-4.2.5/bzImage --root=root --system=/gnu/store/wvj1d2pafqjnykmk9fzvvkbpzwbyrm0i-system --load=/gnu/store/wvj1d2pafqjnykmk9fzvvkbpzwbyrm0i-system/boot
initrd /gnu/store/wvj1d2pafqjnykmk9fzvvkbpzwbyrm0i-system/initrd
}
### END /etc/grub.d/40_custom ###
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment