From mboxrd@z Thu Jan 1 00:00:00 1970 From: Marco van Hulten Subject: successful installation, but problems updating Date: Mon, 06 Nov 2017 09:16:56 +0100 Message-ID: <20171106091656.6e775deb@graviton.instanton> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="Boundary_(ID_JAG7tvhhZGnr2XRLukip9w)" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:48566) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eBcai-0004zg-1L for help-guix@gnu.org; Mon, 06 Nov 2017 03:17:09 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eBcab-0004zj-Qr for help-guix@gnu.org; Mon, 06 Nov 2017 03:17:08 -0500 Received: from eterpe-smout.broadpark.no ([80.202.8.16]:38130) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eBcab-0004yL-Ef for help-guix@gnu.org; Mon, 06 Nov 2017 03:17:01 -0500 Received: from bgo1cloudm2.nextgentel.net ([80.202.8.59]) by eterpe-smout.broadpark.no (Oracle Communications Messaging Server 7u4-27.01(7.0.4.27.0) 64bit (built Aug 30 2012)) with ESMTP id <0OYZ00GNMLN5QS60@eterpe-smout.broadpark.no> for help-guix@gnu.org; Mon, 06 Nov 2017 09:16:58 +0100 (CET) List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: help-guix@gnu.org --Boundary_(ID_JAG7tvhhZGnr2XRLukip9w) Content-type: text/plain; charset=UTF-8 Content-transfer-encoding: quoted-printable Content-disposition: inline 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-Inst= allation.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 =E2=80=94 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 --Boundary_(ID_JAG7tvhhZGnr2XRLukip9w) Content-type: text/x-scheme; NAME=config.scm Content-transfer-encoding: 7BIT Content-disposition: attachment; filename=config.scm ;; 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)) --Boundary_(ID_JAG7tvhhZGnr2XRLukip9w)--