summaryrefslogtreecommitdiff
path: root/source/l/virtuoso-ose/doinst.sh
diff options
context:
space:
mode:
Diffstat (limited to 'source/l/virtuoso-ose/doinst.sh')
-rw-r--r--source/l/virtuoso-ose/doinst.sh15
1 files changed, 15 insertions, 0 deletions
diff --git a/source/l/virtuoso-ose/doinst.sh b/source/l/virtuoso-ose/doinst.sh
new file mode 100644
index 00000000..beafd37c
--- /dev/null
+++ b/source/l/virtuoso-ose/doinst.sh
@@ -0,0 +1,15 @@
+config() {
+ NEW="$1"
+ OLD="$(dirname $NEW)/$(basename $NEW .new)"
+ # If there's no config file by that name, mv it over:
+ if [ ! -r $OLD ]; then
+ mv $NEW $OLD
+ elif [ "$(cat $OLD | md5sum)" = "$(cat $NEW | md5sum)" ]; then
+ # toss the redundant copy
+ rm $NEW
+ fi
+ # Otherwise, we leave the .new copy for the admin to consider...
+}
+
+config etc/virtuoso.ini.new
+