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 /make_install.sh | |
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 'make_install.sh')
-rwxr-xr-x | make_install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make_install.sh b/make_install.sh index 53ec43c..579586a 100755 --- a/make_install.sh +++ b/make_install.sh @@ -22,7 +22,7 @@ script_path="$(realpath "$0")" script_dir="${script_path%/*}" -. "${script_dir}/basic.sh" +. "${script_dir}/basic.sh" || exit 1 function main |