really copy override file 🙈, refs #5

Signed-off-by: morph027 <stefan.heitmueller@gmx.com>
morph027 · Sep 19, 2024 · 2ec866f · 2ec866f
1 parent bb7ab45
commit 2ec866f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/repo.sh b/repo.sh
@@ -74,8 +74,8 @@ else
         echo "Limit: ${limit}"
     ) >>"${tmpdir}/.repo/${repo_name}/conf/distributions"
     if [[ -n "${override}" ]]; then
-        echo "DebOverride: ${override##*/}"
-        cp "${override}" "${tmpdir}/.repo/${repo_name}/conf/${override##*/}"
+        echo "DebOverride: ${override##*/}" >>"${tmpdir}/.repo/${repo_name}/conf/distributions"
+        cp -v "${override}" "${tmpdir}/.repo/${repo_name}/conf/${override##*/}"
     fi
 fi