Documentation
Documentation.
Fix case of filename of log file in README.txt
Documentation.
Fix pitfall of bash globbing: If a glob doesn't match any files, bash will return the glob string literally instead of nothing:
- Use nullglob option to prevent this behavior
- Use failglob option to make bash exit with an error if a glob is contained in the script which does not match anything. I see that this seems to make the nullglob option redundant but I'd like to have them both: In case someone removes the failglob option because he needs failing globs, the nullglob will be needed so we can just already put it there.