Gentoo Archives: gentoo-commits

From: Sven Vermeulen <swift@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] proj/hardened-refpolicy:master commit in: policy/modules/contrib/
Date: Thu, 22 May 2014 16:53:38
Message-Id: 1400777562.f0c9d69ef883747dd922d9bdcf3b24e534aa4469.swift@gentoo
1 commit: f0c9d69ef883747dd922d9bdcf3b24e534aa4469
2 Author: Jason Zaman <jason <AT> perfinion <DOT> com>
3 AuthorDate: Mon May 19 20:44:45 2014 +0000
4 Commit: Sven Vermeulen <swift <AT> gentoo <DOT> org>
5 CommitDate: Thu May 22 16:52:42 2014 +0000
6 URL: http://git.overlays.gentoo.org/gitweb/?p=proj/hardened-refpolicy.git;a=commit;h=f0c9d69e
7
8 gconfd keeps its database in the xdg directories
9
10 gconfd stores settings for applications in the gnome desktop.
11 it needs to be able to manage gnome directories inside
12 ~/.{cache,config,local}/
13
14 Signed-off-by: Jason Zaman <jason <AT> perfinion.com>
15
16 ---
17 policy/modules/contrib/gnome.fc | 2 ++
18 policy/modules/contrib/gnome.te | 18 ++++++++++++++++++
19 2 files changed, 20 insertions(+)
20
21 diff --git a/policy/modules/contrib/gnome.fc b/policy/modules/contrib/gnome.fc
22 index 9bc2c50..31d8c6c 100644
23 --- a/policy/modules/contrib/gnome.fc
24 +++ b/policy/modules/contrib/gnome.fc
25 @@ -18,5 +18,7 @@ HOME_DIR/\.gnome2_private(/.*)? gen_context(system_u:object_r:gnome_home_t,s0)
26
27
28 ifdef(`distro_gentoo',`
29 +HOME_DIR/\.config/dconf(/.*)? gen_context(system_u:object_r:gnome_xdg_config_home_t,s0)
30 +HOME_DIR/\.cache/dconf(/.*)? gen_context(system_u:object_r:gnome_xdg_cache_home_t,s0)
31 HOME_DIR/\.cache/keyring-.* gen_context(system_u:object_r:gnome_xdg_cache_home_t,s0)
32 ')
33
34 diff --git a/policy/modules/contrib/gnome.te b/policy/modules/contrib/gnome.te
35 index 98cd996..99b426d 100644
36 --- a/policy/modules/contrib/gnome.te
37 +++ b/policy/modules/contrib/gnome.te
38 @@ -170,4 +170,22 @@ ifdef(`distro_gentoo',`
39
40 allow gkeyringd_domain gnome_xdg_data_home_t:file manage_file_perms;
41 manage_dirs_pattern(gkeyringd_domain, gnome_xdg_data_home_t, gnome_xdg_data_home_t)
42 +
43 + ##
44 + ## gconfd
45 + ##
46 +
47 + xdg_cache_home_filetrans(gconfd_t, gnome_xdg_cache_home_t, dir)
48 + xdg_config_home_filetrans(gconfd_t, gnome_xdg_config_home_t, dir)
49 + xdg_data_home_filetrans(gconfd_t, gnome_xdg_data_home_t, dir)
50 +
51 + # gconf stores settings for gnome, it needs access
52 + allow gconfd_t gnome_xdg_cache_home_t:file manage_file_perms;
53 + manage_dirs_pattern(gconfd_t, gnome_xdg_cache_home_t, gnome_xdg_cache_home_t)
54 +
55 + allow gconfd_t gnome_xdg_config_home_t:file manage_file_perms;
56 + manage_dirs_pattern(gconfd_t, gnome_xdg_config_home_t, gnome_xdg_config_home_t)
57 +
58 + allow gconfd_t gnome_xdg_data_home_t:file manage_file_perms;
59 + manage_dirs_pattern(gconfd_t, gnome_xdg_data_home_t, gnome_xdg_data_home_t)
60 ')