X-Git-Url: https://plomlompom.com/repos/foo.html?a=blobdiff_plain;f=bookworm%2Fsetup_scripts%2Fcopy_dirtree.sh;h=2c385f0675249c412fa4d06709696e9622cf5782;hb=c23514e257843acb215e435b2da06a24c11f39dd;hp=c0cb9bfea68afa67b9a99f1f6a6c468f83766afc;hpb=3c39ebec559109322bb76b7689051049d8870ad5;p=config
diff --git a/bookworm/setup_scripts/copy_dirtree.sh b/bookworm/setup_scripts/copy_dirtree.sh
index c0cb9bf..2c385f0 100755
--- a/bookworm/setup_scripts/copy_dirtree.sh
+++ b/bookworm/setup_scripts/copy_dirtree.sh
@@ -8,11 +8,10 @@
#
# CAUTION: This removes original files at the affected paths.
set -e
+. ./misc.sh
+
+expect_n_args 3 "(source root, target root, modules)" "$@"
-if [ "$#" -lt 3 ]; then
- echo 'Need arguments: source root, target root, modules.'
- false
-fi
source_root="$1"
target_root="$2"
shift 2