Ports: Make package.sh dev work with ports that have slashes in $workdir

This commit is contained in:
Ali Mohammad Pur 2022-05-16 19:21:25 +04:30 committed by Ali Mohammad Pur
parent 527502494c
commit dcf8385e5b
Notes: sideshowbarker 2024-07-17 10:52:58 +09:00

View file

@ -711,7 +711,7 @@ do_dev() {
exit 1
fi
git_repo=".$workdir-git"
git_repo=".${workdir////_}-git"
[ -d "$git_repo" ] || (
mv "$workdir" "$git_repo"
pushd "$git_repo"