Fix library inclusion.

[config] / bookworm / setup_scripts / mirror_dir.sh

diff --git a/bookworm/setup_scripts/mirror_dir.sh b/bookworm/setup_scripts/mirror_dir.sh
index 0fb7df79272c7c1b35258093c7028f243935381c..0660142877648f1d9b357de7300e512bee54a35c 100755 (executable)
--- 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