Hello,
I installed GuixSD 0.13.0 with success! But I still have a couple
of issues and questions concerning updating the system and installing
packages. I followed the [installation guide][1].
[1]:
https://www.gnu.org/software/guix/manual/html_node/Proceeding-with-the-Installation.html
'guix pull' ends with a compilation error:
> guix pull: error: build failed: build of
> `/gnu/store/*-guix-latest.drv' failed
After this I should execute this command.
> $ guix system reconfigure
> guix system: error: wrong number of arguments for action 'reconfigure'
I expected this not to work properly anyway because 'guix pull' did not
succeed, but this seems like a syntax error that would have come up
also after a correct 'guix pull' (except, of course, if 'guix pull'
would provide files that account for the right number of arguments —
but I don't understand Guix well enough to make any good presumptions
about it).
Finally, have two more general questions (possibly related) about
Guix.
Firstly, it often says that I need to use '--fallback'. Is that
because the binary is not available?
Secondly, I noted that with, e.g., 'guix package -i kodi' software gets
compiled. I understood that GNU Guix is capable of both binary and
source packages. Which should I typically expect? Can I choose?
I attached my 'config.scm' (sadly, the paste.lisp.org service has just
been disabled). This is what I understand as the single most important
configuration file of any GuixSD installation.
-Marco
;; This is an operating system configuration template
;; for a "desktop" setup.
(use-modules (gnu) (gnu system nss))
(use-service-modules desktop ssh)
(use-package-modules wm ratpoison certs suckless gnome)
(operating-system
(host-name "watson")
(timezone "Europe/Oslo")
(locale "en_US.utf8")
;; Assuming /dev/sda is the target hard disk, and "my-root"
;; is the label of the target root file system.
(bootloader (grub-configuration (device "/dev/sda")))
(file-systems (cons* (file-system
(device "my-root")
(title 'label)
(mount-point "/")
(type "ext4"))
(file-system
(device "my-home")
(title 'label)
(mount-point "/home")
(type "ext4"))
%base-file-systems))
(users (cons* (user-account
(name "kodi")
(comment "mediacenter")
(group "users")
(supplementary-groups '("wheel" "netdev"
"audio" "video"))
(home-directory "/home/kodi"))
(user-account
(name "marco")
(comment "Marco van Hulten")
(group "users")
(supplementary-groups '("wheel" "netdev"
"audio" "video"))
(home-directory "/home/marco"))
%base-user-accounts))
;; Add a bunch of window managers; we can choose one at
;; the log-in screen with F1.
(packages (cons* ratpoison i3-wm i3status dmenu ;window managers
nss-certs ;for HTTPS access
gvfs ;for user mounts
%base-packages))
;; Add GNOME and/or Xfce---we can choose at the log-in
;; screen with F1. Use the "desktop" services, which
;; include the X11 log-in service, networking with Wicd,
;; and more.
(services (cons* (xfce-desktop-service)
%desktop-services))
;; Allow resolution of '.local' host names with mDNS.
(name-service-switch %mdns-host-lookup-nss))
