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-01-05 14:06:30 +0100 |
| commit | bdc586cb6819a9227a0ad3eeded26fe71bbf2361 (patch) | |
| tree | d688f33ed04f0df124c209f819f75b187548d210 | |
| parent | a900c5c809314437fa1d7ab96c5af7599dd041a8 (diff) | |
| download | itzks-systems-bdc586cb6819a9227a0ad3eeded26fe71bbf2361.tar.gz itzks-systems-bdc586cb6819a9227a0ad3eeded26fe71bbf2361.tar.bz2 itzks-systems-bdc586cb6819a9227a0ad3eeded26fe71bbf2361.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}" |