summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorLucio Andrés Illanes Albornoz <lucio@lucioillanes.de>2021-04-05 09:29:32 +0100
committerLucio Andrés Illanes Albornoz <lucio@lucioillanes.de>2021-04-05 09:29:32 +0100
commit0e2bbedc53cfd39869ac700a00772f9fd99ebd82 (patch)
treeb363c0f07821a7a2676a67dface543ab60569229
parent22d13912cfe1a45813eda153ade22541c208fcd8 (diff)
downloadmidipix_build-0e2bbedc53cfd39869ac700a00772f9fd99ebd82.tar.bz2
midipix_build-0e2bbedc53cfd39869ac700a00772f9fd99ebd82.tar.xz
pkgtool.sh:pkgtoolp_mirror(): substitute `~' in ${_mirror_dname{,_git}} w/ ${HOME} for convenience.
-rwxr-xr-xpkgtool.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgtool.sh b/pkgtool.sh
index ebabdbbf..f1b742ff 100755
--- a/pkgtool.sh
+++ b/pkgtool.sh
@@ -54,6 +54,8 @@ pkgtoolp_mirror() {
local _mirror_dname="${1}" _mirror_dname_git="${2}" _group_name="" _pkg_name="" _pkg_parent="" _rc=0;
umask 022;
+ _mirror_dname="$(rtl_subst "${_mirror_dname}" "~" "${HOME}")";
+ _mirror_dname_git="$(rtl_subst "${_mirror_dname_git}" "~" "${HOME}")";
if ! ex_pkg_load_groups; then
_rc=1; _status="Error: failed to load build groups.";
elif [ -n "${_mirror_dname}" ]\