diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-12-03 16:19:10 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-04 10:57:56 +0100 |
| commit | 6a837b6062ab405f6ca6d9c0163836769098d89b (patch) | |
| tree | a85ae51039d4f3fe45fab475520dfc3f6e30fb6d | |
| parent | 1f51f0d975d95a2ba645193cf43d0a294d952e83 (diff) | |
etc: Add "ci.guix.info.pub" public key file.
* etc/substitutes/ci.guix.info.pub: New file.
* Makefile.am (dist_pkgdata_DATA): Add it.
* guix/self.scm (miscellaneous-files): Add
"share/guix/ci.guix.info.pub".
| -rw-r--r-- | Makefile.am | 3 | ||||
| l--------- | etc/substitutes/ci.guix.info.pub | 1 | ||||
| -rw-r--r-- | guix/self.scm | 3 |
3 files changed, 6 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 32cebd5917..6803666a57 100644 --- a/Makefile.am +++ b/Makefile.am @@ -459,7 +459,8 @@ check-system: $(GOBJECTS) # Public key used to sign substitutes from hydra.gnu.org & co. dist_pkgdata_DATA = \ etc/substitutes/hydra.gnu.org.pub \ - etc/substitutes/berlin.guixsd.org.pub + etc/substitutes/berlin.guixsd.org.pub \ + etc/substitutes/ci.guix.info.pub # Bash completion file. dist_bashcompletion_DATA = etc/completion/bash/guix \ diff --git a/etc/substitutes/ci.guix.info.pub b/etc/substitutes/ci.guix.info.pub new file mode 120000 index 0000000000..b1d1e4d763 --- /dev/null +++ b/etc/substitutes/ci.guix.info.pub @@ -0,0 +1 @@ +berlin.guixsd.org.pub
\ No newline at end of file diff --git a/guix/self.scm b/guix/self.scm index 8476c422ec..f2db3dbf52 100644 --- a/guix/self.scm +++ b/guix/self.scm @@ -428,6 +428,9 @@ load path." ,(file-append* source "/etc/substitutes/hydra.gnu.org.pub")) ("share/guix/berlin.guixsd.org.pub" + ,(file-append* source + "/etc/substitutes/berlin.guixsd.org.pub")) + ("share/guix/ci.guix.info.pub" ;alias ,(file-append* source "/etc/substitutes/berlin.guixsd.org.pub"))))) (define* (whole-package name modules dependencies |