diff options
author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2022-01-05 14:06:30 +0100 |
---|---|---|
committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2022-02-08 10:04:25 +0100 |
commit | 36eb268e4237f52aac37a57b2280d34a6bc8143f (patch) | |
tree | 3c60ee81225f8c495d527569840362e7368810e2 | |
parent | c853c5742c0c373d06b3c2abf16dac33879a7666 (diff) | |
download | itzks-systems-36eb268e4237f52aac37a57b2280d34a6bc8143f.tar.gz itzks-systems-36eb268e4237f52aac37a57b2280d34a6bc8143f.tar.bz2 itzks-systems-36eb268e4237f52aac37a57b2280d34a6bc8143f.zip |
share/debian-edu-config/tools/update-dlw-krb5-keytabs-itzks: Write command-line options to syslog if any are given.
-rwxr-xr-x | share/debian-edu-config/tools/update-dlw-krb5-keytabs-itzks | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/share/debian-edu-config/tools/update-dlw-krb5-keytabs-itzks b/share/debian-edu-config/tools/update-dlw-krb5-keytabs-itzks index 950a67a..a3dbd01 100755 --- a/share/debian-edu-config/tools/update-dlw-krb5-keytabs-itzks +++ b/share/debian-edu-config/tools/update-dlw-krb5-keytabs-itzks @@ -17,6 +17,8 @@ SPECIAL_USER="debian-edu" if [ -z "$1" ]; then DLW_HOSTS="${DLW_HOSTS_NETGROUP}" else + logger -t update-dlw-krb5-keytabs -p notice "Called with command line: ${@}" + while [ -n "${1}" ]; do if echo ${DLW_HOSTS_NETGROUP} | grep -q "${1}.${DOMAIN}"; then DLW_HOSTS="${DLW_HOSTS} ${1}.${DOMAIN}" |