Re: substitute server rename

2022-01-01 Thread Tobias Geerinckx-Rice
Andy, $ sudo guix system reconfigure /etc/config.scm --no-substitutes or $ sudo guix system reconfigure /etc/config.scm --substitute-urls="https://new.server.name [others…]" Kind regards, T G-R signature.asc Description: PGP signature

substitute server rename

2022-01-01 Thread Andy Tai
Hi, I have another guix channel in my system configruation which has its own substitute server. Recently the substitute server have been renamed so following https://guix.gnu.org/manual/en/html_node/Getting-Substitutes-from-Other-Servers.html I edited /etc/config.scm to rename the substitute ser

Unknown getter "operating-system-user-services"

2022-01-01 Thread edk
Dear all, In order to programmatically define operating-systems, I use a functional approach, where I edit the fields of the operating-system structure using set-fields, like so: https://gitlab.com/edouardklein/guix/-/blob/beaverlabs/beaver/system.scm#L106 #+begin_src scheme (define* (add-someth