diff options
Diffstat (limited to '0007-Label-gedit-plugins-properly-on-Arch-Linux.patch')
| -rw-r--r-- | 0007-Label-gedit-plugins-properly-on-Arch-Linux.patch | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/0007-Label-gedit-plugins-properly-on-Arch-Linux.patch b/0007-Label-gedit-plugins-properly-on-Arch-Linux.patch new file mode 100644 index 000000000000..55e6ef053755 --- /dev/null +++ b/0007-Label-gedit-plugins-properly-on-Arch-Linux.patch @@ -0,0 +1,24 @@ +From be932b857b24452919816cbba1f5cc32d34c8db4 Mon Sep 17 00:00:00 2001 +From: Nicolas Iooss <nicolas.iooss@m4x.org> +Date: Tue, 5 Jan 2016 17:56:45 +0100 +Subject: [PATCH] Label gedit plugins properly on Arch Linux + +--- + policy/modules/kernel/corecommands.fc | 1 + + 1 file changed, 1 insertion(+) + +diff --git a/policy/modules/kernel/corecommands.fc b/policy/modules/kernel/corecommands.fc +index 539669a9aadd..88f8742e89fd 100644 +--- a/policy/modules/kernel/corecommands.fc ++++ b/policy/modules/kernel/corecommands.fc +@@ -299,6 +299,7 @@ ifdef(`distro_gentoo',` + /usr/share/cluster/svclib_nfslock -- gen_context(system_u:object_r:bin_t,s0) + /usr/share/cvs/contrib/rcs2log -- gen_context(system_u:object_r:bin_t,s0) + /usr/share/e16/misc(/.*)? gen_context(system_u:object_r:bin_t,s0) ++/usr/share/gedit/plugins/externaltools/tools(/.*)? gen_context(system_u:object_r:bin_t,s0) + /usr/share/gedit-2/plugins/externaltools/tools(/.*)? gen_context(system_u:object_r:bin_t,s0) + /usr/share/gitolite/hooks/common/update -- gen_context(system_u:object_r:bin_t,s0) + /usr/share/gitolite/hooks/gitolite-admin/post-update -- gen_context(system_u:object_r:bin_t,s0) +-- +2.6.4 + |