Re: Changing HTTP proxy settings in GuixSD

[Konrad Hinsen <konrad.hinsen@fastmail.net>]

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

Hi Chris,

> That error looks suspicious.  Perhaps you already know this, but it
> probably means that the string "mirror.hydra.gnu.org" wound up being
> used where a procedure should probably have been used instead.  For
> example, in your Guile REPL, you can reproduce this kind of error like
> this:
>
>     scheme@(guile-user)> ("this is not a procedure")
>     ERROR: ERROR: Wrong type to apply: "this is not a procedure"

Suspicious indeed...

> The workaround that Ludo described, in which you temporarily stop the
> guix-daemon, and then start it in an environment where http_proxy is set
> appropriately, should work.

That's exactly what I did.

> If it isn't, then can I ask to see the commands and conigs you're
> using which fail?

Here are the commands I typed:

   sudo -s
   herd stop guix-daemon
   http_proxy=http://proxy.synchrotron-soleil.fr:8080/  guix-daemon --build-users-group=guixbuild
   guix system reconfigure /etc/config.scm

The config I used in this first test (attached) is exactly the same one
I am currently running, with no reference to the proxy at all. I was
planning to add that in a second step.

Konrad.


[-- Attachment #2: config.scm --]
[-- Type: application/octet-stream, Size: 1938 bytes --]

;; This is an operating system configuration template
;; for a "bare bones" setup, with no X11 display server.

(use-modules (gnu))
(use-service-modules networking ssh nfs)
(use-package-modules admin nfs)

(operating-system
  (host-name "guixsd")
  (timezone "Europe/Paris")
  (locale "en_US.utf8")

  ;; Assuming /dev/sdX is the target hard disk, and "my-root" is
  ;; the label of the target root file system.
  (bootloader (grub-configuration (target "/dev/sda")))
  (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 "hinsen")
                (comment "only user")
                (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/hinsen"))
               %base-user-accounts))

  ;; Globally-installed packages.
  (packages (cons* tcpdump nfs-utils %base-packages))

  ;; Add services to the baseline: a DHCP client and
  ;; an SSH server, plus a statically configured network adapter.
  (services (cons* (service openssh-service-type
                            (openssh-configuration
                              (port-number 22)))
                   (dhcp-client-service)
                   (service rpcbind-service-type
                            (rpcbind-configuration))
                   %base-services)))