diff options
| author |  glitsj16 <glitsj16@users.noreply.github.com> | 2023-07-25 19:32:12 +0000 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2023-07-25 19:32:12 +0000 |
| commit | 63b306179fb3f57c96d036de665deb5ce7db3ab7 (patch) | |
| tree | ff5526d80cc808a86abe235a12fa649c7ae5ffcc /etc/profile-a-l/discord-ptb.profile | |
| parent | firefox(-based) profiles: refactor wusc (#5914) (diff) | |
| download | firejail-63b306179fb3f57c96d036de665deb5ce7db3ab7.tar.gz firejail-63b306179fb3f57c96d036de665deb5ce7db3ab7.tar.zst firejail-63b306179fb3f57c96d036de665deb5ce7db3ab7.zip | |
profiles: Miscellaneous cleanups (#5918)
Diffstat (limited to 'etc/profile-a-l/discord-ptb.profile')
| -rw-r--r-- | etc/profile-a-l/discord-ptb.profile | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/etc/profile-a-l/discord-ptb.profile b/etc/profile-a-l/discord-ptb.profile index c39c0d843..265bf5615 100644 --- a/etc/profile-a-l/discord-ptb.profile +++ b/etc/profile-a-l/discord-ptb.profile | |||
| @@ -1,17 +1,17 @@ | |||
| 1 | # Firejail profile for discord-ptb | 1 | # Firejail profile for discord-ptb |
| 2 | # This file is overwritten after every install/update | 2 | # This file is overwritten after every install/update |
| 3 | # Persistent local customizations | 3 | # Persistent local customizations |
| 4 | include discord-ptb.local | 4 | include discord-ptb.local |
| 5 | # Persistent global definitions | 5 | # Persistent global definitions |
| 6 | include globals.local | 6 | include globals.local |
| 7 | 7 | ||
| 8 | noblacklist ${HOME}/.config/discordptb | 8 | noblacklist ${HOME}/.config/discordptb |
| 9 | 9 | ||
| 10 | mkdir ${HOME}/.config/discordptb | 10 | mkdir ${HOME}/.config/discordptb |
| 11 | whitelist ${HOME}/.config/discordptb | 11 | whitelist ${HOME}/.config/discordptb |
| 12 | 12 | ||
| 13 | private-bin discord-ptb,DiscordPTB | 13 | private-bin discord-ptb,DiscordPTB |
| 14 | private-opt discord-ptb,DiscordPTB | 14 | private-opt discord-ptb,DiscordPTB |
| 15 | 15 | ||
| 16 | # Redirect | 16 | # Redirect |
| 17 | include discord-common.profile | 17 | include discord-common.profile |