[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]

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