diff options
author | Holger Levsen <holger@layer-acht.org> | 2016-12-23 15:13:44 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-12-23 15:13:44 +0100 |
commit | 1ac59c6fb4ec1e04f68ed64d0522b70db25ccab1 (patch) | |
tree | e8efac922d8fa5fbef31f0e32ac7edc02ebf6fa4 | |
parent | 9b44f1eac886ae17ff21bba66d6f626a7470a0c5 (diff) | |
download | jenkins.debian.net-1ac59c6fb4ec1e04f68ed64d0522b70db25ccab1.tar.xz |
fixup. (this commit has two: logic and important whitespace fix)
Signed-off-by: Holger Levsen <holger@layer-acht.org>
-rwxr-xr-x | update_jdn.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index f2db63d8..2a8452fe 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -93,7 +93,7 @@ users=$(for i in ${!user_host_groups[@]}; do echo ${i%,*} ; done | sort -u) ( $UP2DATE && [ -z $(find authorized_keys -newer $0) ] ) || for user in ${users}; do # -v is a bashism to check for set variables, used here to see if this user is active on this host - if [ ! -v user_host_groups["$user","$HOSTNAME"] ] && [ ! -v user_host_groups["$user",'*'] ] && [ -v user_host_groups["$user", "$DPKG_ARCH"] ] ; then + if [ ! -v user_host_groups["$user","$HOSTNAME"] ] && [ ! -v user_host_groups["$user",'*'] ] && [ ! -v user_host_groups["$user","$DPKG_ARCH"] ] ; then continue fi |