aboutsummaryrefslogtreecommitdiffstats
path: root/etc/profile-a-l/devhelp.profile
diff options
context:
space:
mode:
authorLibravatar Kelvin M. Klann <kmk3.code@protonmail.com>2023-08-11 05:26:05 -0300
committerLibravatar Kelvin M. Klann <kmk3.code@protonmail.com>2023-09-08 04:57:37 -0300
commitc6d33375cc34e4e5e527ab43c219adfbc8848c62 (patch)
tree0ccf4359f9b8ab8a5c4e37bd042fbf19314f12a8 /etc/profile-a-l/devhelp.profile
parentprofiles: fix some comments (diff)
downloadfirejail-c6d33375cc34e4e5e527ab43c219adfbc8848c62.tar.gz
firejail-c6d33375cc34e4e5e527ab43c219adfbc8848c62.tar.zst
firejail-c6d33375cc34e4e5e527ab43c219adfbc8848c62.zip
profiles: fix commented code and eol comments
Main changes: * Remove the space after `#` for commented code lines to distinguish them from normal comments * Use `#` instead of `-` for comments at the end of the line so that commented code lines work after being uncommented Commands used to search and replace: arg0="$(cat contrib/syntax/lists/profile_commands_arg0.list | LC_ALL=C sort -u | tr '\n' '|' | sed -e 's/|$//' -e 's/\./\\./g')" arg1="$(cat contrib/syntax/lists/profile_commands_arg1.list | LC_ALL=C sort -u | tr '\n' '|' | sed -e 's/|$//' -e 's/\./\\./g')" git ls-files -z -- etc/inc etc/profile* | xargs -0 -I '{}' \ sh -c "printf '%s\n' \"\$(sed -E \ -e 's/^# ($arg0)( [#-]-? .*)?\$/#\\1\\2/' \ -e 's/^# ($arg1)( [^ ]*)?( [#-]-? .*)?\$/#\\1\\2\\3/' \ -e 's/^# (whitelist \\$)/#\\1/' \ -e 's/^(#[^ ].+) --? /\\1 # /' \ '{}')\" >'{}'" Commands used to check for leftover entries: arg0="$(cat contrib/syntax/lists/profile_commands_arg0.list | LC_ALL=C sort -u | tr '\n' '|' | sed -e 's/|$//' -e 's/\./\\./g')" arg1="$(cat contrib/syntax/lists/profile_commands_arg1.list | LC_ALL=C sort -u | tr '\n' '|' | sed -e 's/|$//' -e 's/\./\\./g')" git grep -E "^# ($arg0|$arg1)( +|$)" -- etc/inc etc/profile* See also commit 30f9ad908 ("build: improve comments in firecfg.config", 2023-08-05) / PR #5942.
Diffstat (limited to 'etc/profile-a-l/devhelp.profile')
-rw-r--r--etc/profile-a-l/devhelp.profile8
1 files changed, 4 insertions, 4 deletions
diff --git a/etc/profile-a-l/devhelp.profile b/etc/profile-a-l/devhelp.profile
index 066cdc8b0..7b5e692a0 100644
--- a/etc/profile-a-l/devhelp.profile
+++ b/etc/profile-a-l/devhelp.profile
@@ -23,7 +23,7 @@ include whitelist-usr-share-common.inc
23 23
24apparmor 24apparmor
25caps.drop all 25caps.drop all
26# net none - makes settings immutable 26#net none # makes settings immutable
27nodvd 27nodvd
28nogroups 28nogroups
29noinput 29noinput
@@ -45,9 +45,9 @@ private-etc @tls-ca,@x11
45private-tmp 45private-tmp
46 46
47# makes settings immutable 47# makes settings immutable
48# dbus-user none 48#dbus-user none
49# dbus-system none 49#dbus-system none
50 50
51#memory-deny-write-execute - breaks on Arch (see issue #1803) 51#memory-deny-write-execute # breaks on Arch (see issue #1803)
52read-only ${HOME} 52read-only ${HOME}
53restrict-namespaces 53restrict-namespaces