X-Git-Url: https://plomlompom.com/repos/?a=blobdiff_plain;f=bookworm%2Fsetup_scripts%2Fmirror_dir.sh;h=0660142877648f1d9b357de7300e512bee54a35c;hb=f628496cf28b4db65ee965218e62989d51dd7aed;hp=0fb7df79272c7c1b35258093c7028f243935381c;hpb=6f0f5c64384750c3ef3e8da8e457f6efb84e5f94;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