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, 0 insertions, 24 deletions
diff --git a/0007-Label-gedit-plugins-properly-on-Arch-Linux.patch b/0007-Label-gedit-plugins-properly-on-Arch-Linux.patch deleted file mode 100644 index 55e6ef053755..000000000000 --- a/0007-Label-gedit-plugins-properly-on-Arch-Linux.patch +++ /dev/null @@ -1,24 +0,0 @@ -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 - |