successful installation, but problems updating

[Marco van Hulten <marco@hulten.org>]

[-- Attachment #1: Type: text/plain, Size: 1556 bytes --]

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

[-- Attachment #2: config.scm --]
[-- Type: text/x-scheme, Size: 2237 bytes --]

;; 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))