From 070ee145c591795cc42146b4943fbc7d65132e34 Mon Sep 17 00:00:00 2001 From: Pjotr Prins Date: Fri, 5 Apr 2024 11:14:39 +0200 Subject: Document configuration settings --- specials/gndev-deploy.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'specials') diff --git a/specials/gndev-deploy.sh b/specials/gndev-deploy.sh index 1b00b0b..40fe8db 100755 --- a/specials/gndev-deploy.sh +++ b/specials/gndev-deploy.sh @@ -4,6 +4,7 @@ # # genenetwork-machines --- Guix configuration for genenetwork machines # Copyright © 2022, 2024 Arun Isaac +# Copyright © 2024 Pjotr Prins # # This file is part of genenetwork-machines. # @@ -25,7 +26,7 @@ # this script should not be run as root. if [ "$EUID" -eq 0 ] - then echo "Please do not run as root." + then echo "Please do not run as root." exit fi -- cgit v1.2.3