summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMike Gabriel <mike.gabriel@das-netzwerkteam.de>2022-01-05 14:06:30 +0100
committerMike Gabriel <mike.gabriel@das-netzwerkteam.de>2022-02-08 10:04:25 +0100
commit36eb268e4237f52aac37a57b2280d34a6bc8143f (patch)
tree3c60ee81225f8c495d527569840362e7368810e2
parentc853c5742c0c373d06b3c2abf16dac33879a7666 (diff)
downloaditzks-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-xshare/debian-edu-config/tools/update-dlw-krb5-keytabs-itzks2
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}"