diff options
author | glitsj16 <glitsj16@users.noreply.github.com> | 2022-09-14 17:36:01 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-14 17:36:01 +0000 |
commit | 3e7b65da2efb853f0654580ece6572cc10dab791 (patch) | |
tree | 6e6100b8cca5cf6fc786bed8a5b151ea3b8170b3 /etc/profile-a-l | |
parent | Fix Firefox 'Profile not found' for psd (v6.45) (#5348) (diff) | |
download | firejail-3e7b65da2efb853f0654580ece6572cc10dab791.tar.gz firejail-3e7b65da2efb853f0654580ece6572cc10dab791.tar.zst firejail-3e7b65da2efb853f0654580ece6572cc10dab791.zip |
discord: fix issues with command-line usage (#5368)
* use both capitalized and regular discord commands to private-bin
* use both capitalized and regular discord commands to private-bin
* add awk and which to private-bin for better xdg-open support
* use both capitalized and regular discord commands to private-bin
* use both capitalized and regular discord commands to private-bin
* refactor CamelCased discord profiles
* refactor CamelCased discord profiles
* fix private-{bin,opt} sorting
* fix private-{bin,opt} sorting
* unfuck private-{bin,opt} sorting
* unfuck private-{bin,opt} sorting
* fix sorting once more for CI
* fix sorting once again for CI
Diffstat (limited to 'etc/profile-a-l')
-rw-r--r-- | etc/profile-a-l/Discord.profile | 13 | ||||
-rw-r--r-- | etc/profile-a-l/DiscordCanary.profile | 13 | ||||
-rw-r--r-- | etc/profile-a-l/discord-canary.profile | 4 | ||||
-rw-r--r-- | etc/profile-a-l/discord-common.profile | 2 | ||||
-rw-r--r-- | etc/profile-a-l/discord.profile | 4 |
5 files changed, 11 insertions, 25 deletions
diff --git a/etc/profile-a-l/Discord.profile b/etc/profile-a-l/Discord.profile index 3f274b21c..68fcf157f 100644 --- a/etc/profile-a-l/Discord.profile +++ b/etc/profile-a-l/Discord.profile | |||
@@ -3,15 +3,8 @@ | |||
3 | # Persistent local customizations | 3 | # Persistent local customizations |
4 | include Discord.local | 4 | include Discord.local |
5 | # Persistent global definitions | 5 | # Persistent global definitions |
6 | include globals.local | 6 | # added by included profile |
7 | 7 | #include globals.local | |
8 | noblacklist ${HOME}/.config/discord | ||
9 | |||
10 | mkdir ${HOME}/.config/discord | ||
11 | whitelist ${HOME}/.config/discord | ||
12 | |||
13 | private-bin Discord | ||
14 | private-opt Discord | ||
15 | 8 | ||
16 | # Redirect | 9 | # Redirect |
17 | include discord-common.profile | 10 | include discord.profile |
diff --git a/etc/profile-a-l/DiscordCanary.profile b/etc/profile-a-l/DiscordCanary.profile index d24e73ed8..ee6576955 100644 --- a/etc/profile-a-l/DiscordCanary.profile +++ b/etc/profile-a-l/DiscordCanary.profile | |||
@@ -3,15 +3,8 @@ | |||
3 | # Persistent local customizations | 3 | # Persistent local customizations |
4 | include DiscordCanary.local | 4 | include DiscordCanary.local |
5 | # Persistent global definitions | 5 | # Persistent global definitions |
6 | include globals.local | 6 | # added by included profile |
7 | 7 | #include globals.local | |
8 | noblacklist ${HOME}/.config/discordcanary | ||
9 | |||
10 | mkdir ${HOME}/.config/discordcanary | ||
11 | whitelist ${HOME}/.config/discordcanary | ||
12 | |||
13 | private-bin DiscordCanary | ||
14 | private-opt DiscordCanary | ||
15 | 8 | ||
16 | # Redirect | 9 | # Redirect |
17 | include discord-common.profile | 10 | include discord-canary.profile |
diff --git a/etc/profile-a-l/discord-canary.profile b/etc/profile-a-l/discord-canary.profile index 43db95b8a..245b07b8d 100644 --- a/etc/profile-a-l/discord-canary.profile +++ b/etc/profile-a-l/discord-canary.profile | |||
@@ -10,8 +10,8 @@ noblacklist ${HOME}/.config/discordcanary | |||
10 | mkdir ${HOME}/.config/discordcanary | 10 | mkdir ${HOME}/.config/discordcanary |
11 | whitelist ${HOME}/.config/discordcanary | 11 | whitelist ${HOME}/.config/discordcanary |
12 | 12 | ||
13 | private-bin discord-canary,electron,electron[0-9],electron[0-9][0-9] | 13 | private-bin discord-canary,DiscordCanary |
14 | private-opt discord-canary | 14 | private-opt discord-canary,DiscordCanary |
15 | 15 | ||
16 | # Redirect | 16 | # Redirect |
17 | include discord-common.profile | 17 | include discord-common.profile |
diff --git a/etc/profile-a-l/discord-common.profile b/etc/profile-a-l/discord-common.profile index c04e38899..bf49c8d48 100644 --- a/etc/profile-a-l/discord-common.profile +++ b/etc/profile-a-l/discord-common.profile | |||
@@ -23,7 +23,7 @@ ignore novideo | |||
23 | whitelist ${HOME}/.config/BetterDiscord | 23 | whitelist ${HOME}/.config/BetterDiscord |
24 | whitelist ${HOME}/.local/share/betterdiscordctl | 24 | whitelist ${HOME}/.local/share/betterdiscordctl |
25 | 25 | ||
26 | private-bin bash,cut,echo,egrep,electron,electron[0-9],electron[0-9][0-9],fish,grep,head,sed,sh,tclsh,tr,xdg-mime,xdg-open,zsh | 26 | private-bin awk,bash,cut,echo,egrep,electron,electron[0-9],electron[0-9][0-9],fish,grep,head,sed,sh,tclsh,tr,which,xdg-mime,xdg-open,zsh |
27 | private-etc alternatives,ca-certificates,crypto-policies,fonts,group,ld.so.cache,ld.so.preload,localtime,login.defs,machine-id,password,pki,pulse,resolv.conf,ssl | 27 | private-etc alternatives,ca-certificates,crypto-policies,fonts,group,ld.so.cache,ld.so.preload,localtime,login.defs,machine-id,password,pki,pulse,resolv.conf,ssl |
28 | 28 | ||
29 | join-or-start discord | 29 | join-or-start discord |
diff --git a/etc/profile-a-l/discord.profile b/etc/profile-a-l/discord.profile index 8ef02a30f..02d1c65cd 100644 --- a/etc/profile-a-l/discord.profile +++ b/etc/profile-a-l/discord.profile | |||
@@ -10,8 +10,8 @@ noblacklist ${HOME}/.config/discord | |||
10 | mkdir ${HOME}/.config/discord | 10 | mkdir ${HOME}/.config/discord |
11 | whitelist ${HOME}/.config/discord | 11 | whitelist ${HOME}/.config/discord |
12 | 12 | ||
13 | private-bin discord | 13 | private-bin discord,Discord |
14 | private-opt discord | 14 | private-opt discord,Discord |
15 | 15 | ||
16 | # Redirect | 16 | # Redirect |
17 | include discord-common.profile | 17 | include discord-common.profile |