Newbie: Why executing "guix home reconfigure" requires an Internet connection?

[Rodrigo Morales <moralesrodrigo1100@gmail.com>]

Table of Contents
_________________

1. The context
2. The questions


1 The context
=============

  Currently, the only way I know how to make my laptop connect to the
  Internet is via Ethernet, because the Wi-fi card of my laptop requires
  nonfree firmware.

  Today, I had to use my laptop without Ethernet (i.e. no connection to
  the Internet). While I was using it, I decided to run `guix home
  reconfigure' because I thought that in contrast to installing a
  package, `guix home reconfigure' seems to only act in local
  files. However, it threw an error and it seemed it tried to connect to
  the Internet. The following code block shows the error message.

  ,----
  | guix home reconfigure ~/my-config/home-configuration.scm
  `----

  ,----
  | substitute: updating substitutes from 'https://ci.guix.gnu.org'...
0.0%guix substitute: warning: ci.guix.gnu.org: host not found: Name or
service not known
  | substitute:
  | substitute: updating substitutes from 'https://bordeaux.guix.gnu.org'...
  0.0%guix substitute: warning: bordeaux.guix.gnu.org: host not found: Name
or service not known
  | substitute:
  | The following derivation will be built:
  |   /gnu/store/dgl98ixssr28nzy1l5vndigb78d9b5gv-guix-1.4.0-4.01fd830.drv
  |
  | 18.8 MB will be downloaded
  | substitute: updating substitutes from 'https://ci.guix.gnu.org'...
0.0%
  | substitute: updating substitutes from 'https://bordeaux.guix.gnu.org'...
  0.0%
  | retrying download of '/gnu/store/mzfkrxd4w8vqrmyrx169wj8wyw7r8i37-bash'
with other substitute URLs...
  | guix substitute: warning: bordeaux.guix.gnu.org: host not found: Name
or service not known
  | guix substitute: error: failed to find alternative substitute for
'/gnu/store/mzfkrxd4w8vqrmyrx169wj8wyw7r8i37-bash'
  | substitution of /gnu/store/mzfkrxd4w8vqrmyrx169wj8wyw7r8i37-bash failed
  | guix home: error: corrupt input while restoring archive from #<closed:
file 7f578b419c40>
  `----

  ,----
  | echo $?
  `----

  ,----
  | 1
  `----

  The following code block shows the content of the file that is passed
  to `guix home reonfigure' (i.e. `~/my-config/home-configuration.scm')

  ,----
  | cat ~/my-config/home-configuration.scm
  `----

  ,----
  | ;; This "home-environment" file can be passed to 'guix home reconfigure'
  | ;; to reproduce the content of your profile.  This is "symbolic": it
only
  | ;; specifies package names.  To reproduce the exact same profile, you
also
  | ;; need to capture the channels being used, as returned by "guix
describe".
  | ;; See the "Replicating Guix" section in the manual.
  |
  | (use-modules (gnu home)
  |              (gnu packages)
  |              (gnu services)
  |              (guix gexp)
  |              (gnu home services)
  |              (gnu home services shells)
  |              (gnu home services ssh))
  |
  | (home-environment
  |  ;; Below is the list of packages that will show up in your
  |  ;; Home profile, under ~/.guix-home/profile.
  |  (packages (specifications->packages (list)))
  |  ;; Below is the list of Home services.  To search for available
  |  ;; services, run 'guix home search KEYWORD' in a terminal.
  |  (services
  |   (list
  |    (service
  |     home-bash-service-type
  |     (home-bash-configuration
  |      (aliases
  |       '(("grep" . "grep --color=auto")
  |         ("ll" . "ls -l")
  |         ("ls" . "ls -p --color=auto")
  |         ("d" . "cd ~/Downloads"))))))))
  `----


2 The questions
===============

  Currently, I'm a new Guix user, so I have some questions

  + Is this normal behavior?
  + What's the reasoning behind `guix home reconfigure' trying to
    connect to the Internet when it only seems to create symlinks
    between files that exist locally?
  + If i don't have an Internet connection, does it mean that I can't
    run `guix home reonfigure'? If it is possible, how to do it? I want
    to symlink my dotfiles even when I don't have an Internet
    connection.