diff options
author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2018-01-03 16:35:47 +0100 |
---|---|---|
committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2018-01-03 16:55:25 +0100 |
commit | 18a0c2f201348def02942d4bb29eda3d4c31c33f (patch) | |
tree | 31c1ed5973e747532ba01061b00fa333677e8bc2 /etc | |
parent | dc5d05c4372c940655fc85b2a81155721e2976ac (diff) | |
download | itzks-systems-18a0c2f201348def02942d4bb29eda3d4c31c33f.tar.gz itzks-systems-18a0c2f201348def02942d4bb29eda3d4c31c33f.tar.bz2 itzks-systems-18a0c2f201348def02942d4bb29eda3d4c31c33f.zip |
White-space cleanup.
Diffstat (limited to 'etc')
-rw-r--r-- | etc/debian-edu/itzks.config | 12 | ||||
-rw-r--r-- | etc/firefox-esr/itzks_caching.js | 2 | ||||
-rw-r--r-- | etc/schroot/slxdesktop.ITZkS/fstab | 2 |
3 files changed, 8 insertions, 8 deletions
diff --git a/etc/debian-edu/itzks.config b/etc/debian-edu/itzks.config index 032f609..fc188d8 100644 --- a/etc/debian-edu/itzks.config +++ b/etc/debian-edu/itzks.config @@ -1,6 +1,6 @@ ####################################### # -# resource control +# resource control # of IT-Zukunft Schule server scripts # ####################################### @@ -87,13 +87,13 @@ function script_header () { xterm|linux) exec_type="ITZkS script (direct call)" ;; - dumb) + dumb) exec_type="cronlog-entry (dumb terminal)" ;; - cron) + cron) exec_type="cronlog-entry" ;; - *) + *) exec_type="ITZkS script (unknown exec origin)" ;; esac @@ -142,7 +142,7 @@ function check_root () { if [ ! "`id 2>&1 | egrep 'uid=0' | cut -d '(' -f1`" = "uid=0" ]; then echo "Enter root's password here..." OMMAND="`absolute_scriptpath $0` $@" - su -c "$COMMAND" + su -c "$COMMAND" exit 0 fi @@ -179,7 +179,7 @@ function finish_script () { function absolute_scriptpath () { # this is buggy for "./bin/script.sh" (per) - case $0 in + case $0 in /*) echo "$0" ;; *) echo "`pwd`/$0" ;; esac diff --git a/etc/firefox-esr/itzks_caching.js b/etc/firefox-esr/itzks_caching.js index 2f0ba55..929ea31 100644 --- a/etc/firefox-esr/itzks_caching.js +++ b/etc/firefox-esr/itzks_caching.js @@ -1,2 +1,2 @@ -pref("browser.cache.disk.enable", "false"); +pref("browser.cache.disk.enable", "false"); pref("browser.cache.memory.enable", "true"); diff --git a/etc/schroot/slxdesktop.ITZkS/fstab b/etc/schroot/slxdesktop.ITZkS/fstab index 74d0949..d4c7a02 100644 --- a/etc/schroot/slxdesktop.ITZkS/fstab +++ b/etc/schroot/slxdesktop.ITZkS/fstab @@ -9,7 +9,7 @@ /dev/pts /dev/pts none rw,bind 0 0 /home /home none rw,bind 0 0 /tmp /tmp none rw,bind 0 0 -/srv /srv none rw,bind 0 0 +/srv /srv none rw,bind 0 0 /skole /skole none rw,rbind 0 0 /media /media none rw,rbind 0 0 |