diff options
Diffstat (limited to 'specials')
| -rwxr-xr-x | specials/gndev-deploy.sh | 3 |
1 files changed, 2 insertions, 1 deletions
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 <arunisaac@systemreboot.net> +# Copyright © 2024 Pjotr Prins <pjotr.public01@thebird.nl> # # 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 |