aboutsummaryrefslogtreecommitdiffstats
path: root/etc/profile-a-l/github-desktop.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/github-desktop.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/github-desktop.profile')
-rw-r--r--etc/profile-a-l/github-desktop.profile8
1 files changed, 4 insertions, 4 deletions
diff --git a/etc/profile-a-l/github-desktop.profile b/etc/profile-a-l/github-desktop.profile
index ced1aa190..88134b363 100644
--- a/etc/profile-a-l/github-desktop.profile
+++ b/etc/profile-a-l/github-desktop.profile
@@ -29,14 +29,14 @@ noblacklist ${HOME}/.config/git
29noblacklist ${HOME}/.gitconfig 29noblacklist ${HOME}/.gitconfig
30noblacklist ${HOME}/.git-credentials 30noblacklist ${HOME}/.git-credentials
31 31
32# no3d 32#no3d
33nosound 33nosound
34 34
35# private-bin github-desktop 35#private-bin github-desktop
36?HAS_APPIMAGE: ignore private-dev 36?HAS_APPIMAGE: ignore private-dev
37# private-lib 37#private-lib
38 38
39# memory-deny-write-execute 39#memory-deny-write-execute
40 40
41# Redirect 41# Redirect
42include electron-common.profile 42include electron-common.profile