minstall: Always remove destination file before (re-)creating it.

This avoids issues with overwriting files that are being used.
2006-12-11 17:36:35 +01:00
parent d7b24fec24
commit d71a5647a3
1 changed files with 1 additions and 0 deletions
--- a/bin/minstall
+++ b/bin/minstall
@@ -65,6 +65,7 @@ if [ $# -ge 2 ] ; then

 		elif [ -f "$FILE" ] ; then
 			#echo "$FILE" is a regular file
+			$RM "$DEST/$FILE"
 			cp "$FILE" "$DEST"
 			if [ $MODE ] ; then
 				FILE=`basename "$FILE"`