diff options
| author | Einhard Leichtfuß <alguien@respiranto.de> | 2018-12-23 17:59:31 +0100 |
|---|---|---|
| committer | Einhard Leichtfuß <alguien@respiranto.de> | 2018-12-23 18:02:41 +0100 |
| commit | 578c30417de768429e7a75eb8d30c5982043d3b0 (patch) | |
| tree | f94b12f063af28ac2f8119e54cb5f32281232fa1 /user-config.default.bash | |
| parent | 53fc988c4110e5a809d5780483c6a072c2dfae4e (diff) | |
Split off config.sh and add maintainer variable
Now, other people than myself might be maintainer.
Also, add `| exit 1' to the sourcing of scripts.
Furthermore, add note to the scripts in the sample.* files.
Diffstat (limited to 'user-config.default.bash')
0 files changed, 0 insertions, 0 deletions