[debian-edu-commits] debian-edu/ 01/01: debian/education-menus.postinst: Add postinst script to update desktop-profile cache (i.e. remove the cache file).
Mike Gabriel
sunweaver at debian.org
Mon Sep 15 12:37:47 UTC 2014
This is an automated email from the git hooks/post-receive script.
sunweaver pushed a commit to branch master
in repository debian-edu.
commit 207e0d703fd79050645405ab80eb8ba296e7a3e3
Author: Mike Gabriel <mike.gabriel at das-netzwerkteam.de>
Date: Mon Sep 15 14:37:33 2014 +0200
debian/education-menus.postinst: Add postinst script to update desktop-profile cache (i.e. remove the cache file).
* debian/education-menus.postinst:
+ Add postinst script that runs update-profile-cache after installation
of bin:package education-menus. This is required to switch the
desktop-profiles CACHE_TYPE from static to none, if desktop-profiles
got installed standalone earlier. CACHE_TYPE=none results in
removal of /var/cache/desktop-profiles/activated_profiles during
executation of update-profile-cache.
---
debian/changelog | 9 +++++++++
debian/education-menus.postinst | 9 +++++++++
2 files changed, 18 insertions(+)
diff --git a/debian/changelog b/debian/changelog
index d6b65b2..08fa91e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -13,6 +13,15 @@ debian-edu (1.800~0.git.2014-09-11) unstable; urgency=low
* Add unburden-home-dir to packages to check out for the networked-
common task.
+ [ Mike Gabriel ]
+ * debian/education-menus.postinst:
+ + Add postinst script that runs update-profile-cache after installation
+ of bin:package education-menus. This is required to switch the
+ desktop-profiles CACHE_TYPE from static to none, if desktop-profiles
+ got installed standalone earlier. CACHE_TYPE=none results in
+ removal of /var/cache/desktop-profiles/activated_profiles during
+ executation of update-profile-cache.
+
-- Petter Reinholdtsen <pere at debian.org> Thu, 11 Sep 2014 14:17:22 +0200
debian-edu (1.724) unstable; urgency=high
diff --git a/debian/education-menus.postinst b/debian/education-menus.postinst
new file mode 100755
index 0000000..b045cc3
--- /dev/null
+++ b/debian/education-menus.postinst
@@ -0,0 +1,9 @@
+#!/bin/sh
+set -e
+
+if( ( test "$1" = "configure" ) &&
+ ( test -x "$(type -p update-profile-cache 2>/dev/null)" ) ); then
+ update-profile-cache;
+fi;
+
+#DEBHELPER#
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-edu/debian-edu.git
More information about the debian-edu-commits
mailing list