guix-play/etc
Ludovic Courtès 4a0b87f0ec
guix-install.sh: Use the "ci.guix.info.pub" file name for clarity.
* etc/guix-install.sh (sys_authorize_build_farms): Use the
"ci.guix.info.pub" file name rather "berlin.guixsd.org.pub".
2018-12-05 16:26:55 +01:00
..
completion bash completion: Restore completion of available packages for 'guix build'. 2018-11-06 00:04:11 +01:00
git
snippets etc: Use git-file-name if origin is git-fetch. 2018-10-10 17:33:42 +02:00
substitutes etc: Add "ci.guix.info.pub" public key file. 2018-12-04 10:57:56 +01:00
guix-daemon.cil.in
guix-daemon.conf.in build: Binary tarball now populates the "current-guix" profile. 2018-11-23 15:42:01 +01:00
guix-daemon.service.in build: Binary tarball now populates the "current-guix" profile. 2018-11-23 15:42:01 +01:00
guix-install.sh guix-install.sh: Use the "ci.guix.info.pub" file name for clarity. 2018-12-05 16:26:55 +01:00
guix-publish.conf.in build: Binary tarball now populates the "current-guix" profile. 2018-11-23 15:42:01 +01:00
guix-publish.service.in build: Binary tarball now populates the "current-guix" profile. 2018-11-23 15:42:01 +01:00
indent-code.el.in