diff options
Diffstat (limited to 'etc/profile-m-z/pinball.profile')
| -rw-r--r-- | etc/profile-m-z/pinball.profile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/etc/profile-m-z/pinball.profile b/etc/profile-m-z/pinball.profile index 41e4fb6c0..2e17be2ce 100644 --- a/etc/profile-m-z/pinball.profile +++ b/etc/profile-m-z/pinball.profile | |||
| @@ -6,7 +6,7 @@ include pinball.local | |||
| 6 | # Persistent global definitions | 6 | # Persistent global definitions |
| 7 | include globals.local | 7 | include globals.local |
| 8 | 8 | ||
| 9 | nodeny ${HOME}/.config/emilia | 9 | noblacklist ${HOME}/.config/emilia |
| 10 | 10 | ||
| 11 | include disable-common.inc | 11 | include disable-common.inc |
| 12 | include disable-devel.inc | 12 | include disable-devel.inc |
| @@ -18,11 +18,11 @@ include disable-shell.inc | |||
| 18 | include disable-xdg.inc | 18 | include disable-xdg.inc |
| 19 | 19 | ||
| 20 | mkdir ${HOME}/.config/emilia | 20 | mkdir ${HOME}/.config/emilia |
| 21 | allow ${HOME}/.config/emilia | 21 | whitelist ${HOME}/.config/emilia |
| 22 | 22 | ||
| 23 | allow /usr/share/pinball | 23 | whitelist /usr/share/pinball |
| 24 | # on debian games are stored under /usr/share/games | 24 | # on debian games are stored under /usr/share/games |
| 25 | allow /usr/share/games/pinball | 25 | whitelist /usr/share/games/pinball |
| 26 | include whitelist-common.inc | 26 | include whitelist-common.inc |
| 27 | include whitelist-runuser-common.inc | 27 | include whitelist-runuser-common.inc |
| 28 | include whitelist-usr-share-common.inc | 28 | include whitelist-usr-share-common.inc |