diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2016-04-02 01:13:14 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2016-04-02 01:13:14 +0200 |
| commit | 3f05033858e98fab16713df5abacde3dd494bab1 (patch) | |
| tree | 5eef6dbd01e1234c5e5e8c6c62b1c696194670e0 | |
| parent | 0b40f415c807e54a828594f0406c9f3617a54246 (diff) | |
| download | impressive-display-3f05033858e98fab16713df5abacde3dd494bab1.tar.gz impressive-display-3f05033858e98fab16713df5abacde3dd494bab1.tar.bz2 impressive-display-3f05033858e98fab16713df5abacde3dd494bab1.zip | |
Slightly modify debugging comment at beginning of impressive-display script.
| -rwxr-xr-x | bin/impressive-display | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/impressive-display b/bin/impressive-display index c289e2d..3cff9ac 100755 --- a/bin/impressive-display +++ b/bin/impressive-display @@ -1,7 +1,7 @@ #!/bin/bash -# uncomment for debugging... -# set -x +# uncomment for very verbose script debugging... +#set -x # Copyright (C) 2012-2016 by Debian Edu project, http://wiki.debian.org/DebianEdu # Mike Gabriel <mike.gabriel@das-netzwerkteam.de> |