fix mv usage in install.sh to avoid bogus interactive prompting

diff --git a/tools/install.sh b/tools/install.sh
index 7dcea333ea6d7ad8a89b739ae1dd6b196246e4fe..4e5a8b9ff7e0c667c1f9e1561d61bf2c8f2afd02 100755 (executable)
--- a/tools/install.sh
+++ b/tools/install.sh
@@ -53,7 +53,7 @@ else
 cat < "$1" > "$tmp"
 fi
 
-mv "$tmp" "$2"
+mv -f "$tmp" "$2"
 test -d "$2" && {
 rm -f "$2/$tmp"
 printf "%s: %s is a directory\n" "$0" "$dst" 1>&2