guix/etc
Ludovic Courtès 757e633d57
build: Change default substitute server to "ci.guix.gnu.org".
* config-daemon.ac: Replace "ci.guix.info" with "ci.guix.gnu.org".
* doc/guix.texi (SUBSTITUTE-SERVER): Likewise.
* etc/substitutes/ci.guix.gnu.org.pub: New file.
* Makefile.am (dist_pkgdata_DATA): Add it.
* guix/scripts/build.scm (%default-log-urls): Update.
* guix/scripts/substitute.scm (%default-substitute-urls): Likewise.
* guix/store.scm (%default-substitute-urls): Likewise.
* guix/self.scm (miscellaneous-files): Add "ci.guix.gnu.org".
2019-05-01 11:05:47 +02:00
..
completion guix package: Add 'install', 'remove', and 'upgrade' aliases. 2019-04-29 10:13:44 +02:00
git
snippets etc: Add "rename" snippet. 2019-03-26 14:18:12 +01:00
substitutes build: Change default substitute server to "ci.guix.gnu.org". 2019-05-01 11:05:47 +02:00
guix-daemon.cil.in etc: Add SELinux policy for the daemon. 2018-02-07 15:41:23 +01:00
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: Avoid "#!/bin/bash" shebang. 2019-02-05 12:03:24 +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 etc: indent-code.el: Define source tree by "indent-code.el". 2017-05-04 22:45:53 +03:00