diff options
author | Erich Eckner <git@eckner.net> | 2018-02-26 09:00:53 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-02-26 09:00:53 +0100 |
commit | 45e7f08ab436087414ba10c862d5f8a59b516d03 (patch) | |
tree | 0c06ee1e8488f22010fc37ed101fdcfc30876fc5 /conf | |
parent | d9a9ab193a00123d5839505ddfe1563c2286bb9f (diff) | |
download | builder-45e7f08ab436087414ba10c862d5f8a59b516d03.tar.xz |
lib/common-functions: save log of executed scripts - for debugging mysterious errors :-)
Diffstat (limited to 'conf')
-rwxr-xr-x | conf/default.conf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/conf/default.conf b/conf/default.conf index 18f5d73..7e7ed3d 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -14,13 +14,13 @@ else base_dir=$(printf '%s/..' "$(dirname "$(readlink -f "$0")")") fi +work_dir="${base_dir}/work" + # shellcheck source=lib/common-functions . "${base_dir}/lib/common-functions" # shellcheck source=lib/mysql-functions . "${base_dir}/lib/mysql-functions" -work_dir="${base_dir}/work" - repo_names='packages community archlinux32' repo_paths__packages="${work_dir}/repos/packages" repo_paths__community="${work_dir}/repos/community" |