diff options
| author |   Sven Vermeulen <swift@gentoo.org> | 2016-06-04 13:00:55 +0200 |
|---|---|---|
| committer | Sven Vermeulen <swift@gentoo.org> | 2016-06-04 13:00:55 +0200 |
| commit | c4542a5345afd96cf1cb19ec5dc23fd7bfa17171 (patch) | |
| tree | e1aadda700521bfb01d200554c129b1789f14cb0 | |
| parent | pulseaudio: quote in comment throws a warning (diff) | |
| download | hardened-refpolicy-c4542a53.tar.gz hardened-refpolicy-c4542a53.tar.bz2 hardened-refpolicy-c4542a53.zip | |
Add in xdg_runtime_home_type attribute for now2.20151208-r4
| -rw-r--r-- | policy/modules/contrib/xdg.te | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/policy/modules/contrib/xdg.te b/policy/modules/contrib/xdg.te index 1cc93119c..5ec1a128d 100644 --- a/policy/modules/contrib/xdg.te +++ b/policy/modules/contrib/xdg.te @@ -11,6 +11,13 @@ attribute xdg_config_home_type; attribute xdg_cache_home_type; +# Not used but keep this at least two releases +# We have noticed that the userdom_manage_home_role call to the xdg functions +# seems to fail due to this attribute type not existing anymore while the +# build seems to still require it. By waiting a couple of releases we can be more +# confident that no calls to xdg_runtime_* are used anymore. +attribute xdg_runtime_home_type; + type xdg_data_home_t; xdg_data_home_content(xdg_data_home_t) |