commit: 5fb9c04db1dddabde31193fd6d193aae656fa5f5 Author: Jason Zaman <jason <AT> perfinion <DOT> com> AuthorDate: Sun Jun 24 10:46:11 2018 +0000 Commit: Jason Zaman <perfinion <AT> gentoo <DOT> org> CommitDate: Sun Jun 24 10:46:11 2018 +0000 URL: https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=5fb9c04d
xdg: Add compat aliases for the old gentoo-specific names policy/modules/system/xdg.te | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/policy/modules/system/xdg.te b/policy/modules/system/xdg.te index df2224f1..0cef070e 100644 --- a/policy/modules/system/xdg.te +++ b/policy/modules/system/xdg.te @@ -36,3 +36,19 @@ userdom_user_home_content(xdg_pictures_t) type xdg_videos_t; # customizable userdom_user_home_content(xdg_videos_t) + +ifdef(`distro_gentoo',` + # Compat aliases for the old gentoo-specific names + attribute xdg_cache_home_type; + attribute xdg_config_home_type; + attribute xdg_data_home_type; + + typealias xdg_cache_t alias xdg_cache_home_t; + typealias xdg_config_t alias xdg_config_home_t; + typealias xdg_data_t alias xdg_data_home_t; + typealias xdg_documents_t alias xdg_documents_home_t; + typealias xdg_downloads_t alias xdg_downloads_home_t; + typealias xdg_music_t alias xdg_music_home_t; + typealias xdg_pictures_t alias xdg_pictures_home_t; + typealias xdg_videos_t alias xdg_videos_home_t; +')
