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-m-z/pingus.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-m-z/pingus.profile')
| -rw-r--r-- | etc/profile-m-z/pingus.profile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/profile-m-z/pingus.profile b/etc/profile-m-z/pingus.profile index 3ff033e0b..e274b6443 100644 --- a/etc/profile-m-z/pingus.profile +++ b/etc/profile-m-z/pingus.profile | |||
| @@ -23,8 +23,9 @@ include disable-xdg.inc | |||
| 23 | 23 | ||
| 24 | mkdir ${HOME}/.pingus | 24 | mkdir ${HOME}/.pingus |
| 25 | whitelist ${HOME}/.pingus | 25 | whitelist ${HOME}/.pingus |
| 26 | # Debian keeps games data under /usr/share/games | ||
| 27 | whitelist /usr/share/games/pingus | ||
| 26 | whitelist /usr/share/pingus | 28 | whitelist /usr/share/pingus |
| 27 | whitelist /usr/share/games/pingus # Debian keeps games data under /usr/share/games | ||
| 28 | include whitelist-common.inc | 29 | include whitelist-common.inc |
| 29 | include whitelist-runuser-common.inc | 30 | include whitelist-runuser-common.inc |
| 30 | include whitelist-usr-share-common.inc | 31 | include whitelist-usr-share-common.inc |