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

This avoids issues with overwriting files that are being used.

diff --git a/bin/minstall b/bin/minstall
index 9795263f9f17a07b29bc3f55a3f68987f648c2d6..210c2758d3700093e8fb52846eb9515ebd0efe9c 100755 (executable)
--- 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"`