[debian-edu-commits] debian-edu/ 130/183: Ignore de-activated profiles when checking if we're in the simple case where caching of profile assignment is supported
Alexander Alemayhu
ccscanf-guest at moszumanska.debian.org
Wed Jun 11 16:48:40 UTC 2014
This is an automated email from the git hooks/post-receive script.
ccscanf-guest pushed a commit to branch master
in repository desktop-profiles.
commit f69b08a17b5f55ff686580688d89d33a16a51c5d
Author: Bart Cornelis <cobaco at linux.be>
Date: Wed Dec 13 17:23:12 2006 +0000
Ignore de-activated profiles when checking if we're in the simple case where
caching of profile assignment is supported
---
update-profile-cache | 10 +++++++---
1 file changed, 7 insertions(+), 3 deletions(-)
diff --git a/update-profile-cache b/update-profile-cache
index 5a0c6cd..d429cf5 100755
--- a/update-profile-cache
+++ b/update-profile-cache
@@ -24,9 +24,13 @@
##################
# set $CACHE_TYPE
##################
- # if we have at least 1 group or command requirement then there will be at
- # least 1 character in the requirement that's neither whitespace nor '!'
- if(test $(list-desktop-profiles -r '[^[:space:]!]' | wc -l) -ne 0); then
+ # if is true when there's at least 1 non-deactivated profile with a
+ # group or command requirment
+ # (a group or command requirement means at least 1 character in the
+ # requirement that's neither whitespace nor '!')
+ if( test $(list-desktop-profiles -e '$REQUIREMENTS' -r '[^[:space:]!]' | \
+ grep -v '^![[:space:]]\|[[:space:]]!$\|[[:space:]]![[:space:]]\|^!$' | \
+ wc -l) -ne 0); then
CACHE_TYPE=none;
else
CACHE_TYPE=static
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-edu/pkg-team/desktop-profiles.git
More information about the debian-edu-commits
mailing list