Update profiles.
This commit is contained in:
parent
3057fea4dc
commit
ac39df1af2
24 changed files with 81 additions and 26 deletions
|
|
@ -31,5 +31,7 @@ profile chrome-gnome-shell @{exec_path} {
|
|||
|
||||
owner @{PROC}/@{pid}/mounts r,
|
||||
|
||||
deny @{HOME}/.* r,
|
||||
|
||||
include if exists <local/chrome-gnome-shell>
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue