update_jdn: deploy the users also when only a ssh key changes

this makes possible to add/remove/edit a ssh key and have it deployed also when $UP2DATE is otherwise true.

Signed-off-by: Holger Levsen <holger@layer-acht.org>

1 files changed, 1 insertions, 1 deletions

diff --git a/update_jdn.sh b/update_jdn.sh
index 6be6b2a8..f090317d 100755
--- a/update_jdn.sh
+++ b/update_jdn.sh
@@ -85,7 +85,7 @@ u_shell['jenkins-adm']='/bin/bash'
 # get the users out of the user_host_groups array's index
 users=$(for i in ${!user_host_groups[@]}; do echo ${i%,*} ; done | sort -u)
 
-$UP2DATE || for user in ${users}; do
+( $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
 	[ -v user_host_groups["$user","$HOSTNAME"] -o -v user_host_groups["$user",'*'] ] || continue