diff options
| -rw-r--r-- | profiles/gentoo-pc/parent | 4 | ||||
| -rw-r--r-- | profiles/gentoo-pc/profile.bashrc | 5 | ||||
| -rw-r--r-- | profiles/gentoo-pc/use.force | 1 |
3 files changed, 2 insertions, 8 deletions
diff --git a/profiles/gentoo-pc/parent b/profiles/gentoo-pc/parent index c7bad1e..d50ccb9 100644 --- a/profiles/gentoo-pc/parent +++ b/profiles/gentoo-pc/parent @@ -1,2 +1,2 @@ -gentoo:features/selinux -gentoo:default/linux/amd64/23.0/split-usr/desktop
\ No newline at end of file +gentoo:default/linux/amd64/23.0/split-usr/desktop +gentoo:features/selinux
\ No newline at end of file diff --git a/profiles/gentoo-pc/profile.bashrc b/profiles/gentoo-pc/profile.bashrc deleted file mode 100644 index d28d6c3..0000000 --- a/profiles/gentoo-pc/profile.bashrc +++ /dev/null @@ -1,5 +0,0 @@ -# SELinux-aware progams write to entries here -SANDBOX_WRITE="${SANDBOX_WRITE}:/selinux/:/sys/fs/selinux/" - -# for setfscreatecon -SANDBOX_WRITE="${SANDBOX_WRITE}:/proc/self/" diff --git a/profiles/gentoo-pc/use.force b/profiles/gentoo-pc/use.force deleted file mode 100644 index 9c41f50..0000000 --- a/profiles/gentoo-pc/use.force +++ /dev/null @@ -1 +0,0 @@ --caps
\ No newline at end of file |