From b114ada4f83f9267b2382de60b7833ebc77c2950 Mon Sep 17 00:00:00 2001
From: Joel Grunbaum <joelgrun@gmail.com>
Date: Tue, 03 Oct 2023 02:53:40 +0000
Subject: [PATCH] Install now checks that installed file is different to file before asking
---
INSTALL.sh | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/INSTALL.sh b/INSTALL.sh
index 6ebd948..dd5bfb3 100755
--- a/INSTALL.sh
+++ b/INSTALL.sh
@@ -10,7 +10,7 @@
fi
while true; do
CHOICE="overwrite"
- if [ -e "$loc" ] && [ "$FORCE" = "0" ]; then
+ if [ -e "$loc" ] && [ "$FORCE" = "0" ] && [ $(diff "$loc" "$file") ]; then
echo "WARNING: \"$loc\" exists, (overwrite, change, nothing): "
read CHOICE
fi
--
Gitblit v1.10.0