X-Git-Url: https://plomlompom.com/repos/foo.html?a=blobdiff_plain;f=bookworm%2Fsetup_scripts%2Fcopy_dirtree.sh;h=2c385f0675249c412fa4d06709696e9622cf5782;hb=05af7e748a62b71f20597bb559106c8692c34ef4;hp=c0cb9bfea68afa67b9a99f1f6a6c468f83766afc;hpb=f50c2ff925fb389818dcb23a684acc0275821a36;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