X-Git-Url: https://plomlompom.com/repos/foo.html?a=blobdiff_plain;ds=sidebyside;f=bookworm%2Fsetup_scripts%2Fmirror_dir.sh;h=0660142877648f1d9b357de7300e512bee54a35c;hb=27b66e55c2dadbe3f1014aaf20949a16273efeed;hp=0fb7df79272c7c1b35258093c7028f243935381c;hpb=97d6b2856fe0f708f5386e45a8217984499a6257;p=config
diff --git a/bookworm/setup_scripts/mirror_dir.sh b/bookworm/setup_scripts/mirror_dir.sh
index 0fb7df7..0660142 100755
--- a/bookworm/setup_scripts/mirror_dir.sh
+++ b/bookworm/setup_scripts/mirror_dir.sh
@@ -1,6 +1,7 @@
#!/bin/sh
# Mirror directory tree from remote to local server, keeping the path.
set -e
+. ./misc.sh
expect_n_args 2 "(server, directory)" "$@"
server=$1