Upgrade old default values to new ones.
authorDennis Nienhüser <nienhues@fzi.de>
Sat, 4 Dec 2010 15:35:19 +0000 (16:35 +0100)
committerDennis Nienhüser <nienhues@fzi.de>
Sat, 4 Dec 2010 15:35:19 +0000 (16:35 +0100)
packaging/debian/marble.postinst [new file with mode: 0755]

diff --git a/packaging/debian/marble.postinst b/packaging/debian/marble.postinst
new file mode 100755 (executable)
index 0000000..3c81291
--- /dev/null
@@ -0,0 +1,17 @@
+#!/bin/sh
+
+set -e
+
+if [ "$1" = "configure" ]
+then
+  config="/home/user/.config/kde.org/Marble Desktop Globe.conf"
+  if test -e "${config}"
+  then
+    sed -i \
+    -e 's/^sideBar=true$/sideBar=false/' \
+    -e 's/^volatileTileCacheLimit=30$/volatileTileCacheLimit=6/' \
+    "${config}"
+  fi
+fi
+
+exit 0