diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..e5f968b --- /dev/null +++ b/Makefile | |||
| @@ -0,0 +1,14 @@ | |||
| 1 | # SPDX-License-Identifier: GPL-3.0-or-later | ||
| 2 | # Copyright © 2022 Giacomo Leidi <goodoldpaul@autistici.org> | ||
| 3 | # Copyright © 2024 Jonathan Brielmaier <jonathan.brielmaier@web.de> | ||
| 4 | # Copyright © 2024 Wolf <wolf@wolfsden.cz> | ||
| 5 | |||
| 6 | # nonguix channel | ||
| 7 | channel_intro_commit = 897c1a470da759236cc11798f4e0a5f7d4d59fbc | ||
| 8 | channel_intro_signer = 2A39 3FFF 68F4 EF7A 3D29 12AF 6F51 20A0 22FB B2D5 | ||
| 9 | |||
| 10 | authenticate: | ||
| 11 | echo "Authenticating Git checkout..." ; \ | ||
| 12 | guix git authenticate \ | ||
| 13 | --cache-key=channels/nonguix --stats \ | ||
| 14 | "$(channel_intro_commit)" "$(channel_intro_signer)" | ||