Update discord
This commit is contained in:
parent
1402c52efb
commit
415faa3ff3
1 changed files with 2 additions and 1 deletions
|
|
@ -53,7 +53,8 @@ profile discord @{exec_path} {
|
||||||
|
|
||||||
@{PROC}/@{pid}/task/@{tid}/status r,
|
@{PROC}/@{pid}/task/@{tid}/status r,
|
||||||
|
|
||||||
owner /dev/pts/@{int} rw,
|
# not actually required
|
||||||
|
# owner /dev/pts/@{int} rw,
|
||||||
|
|
||||||
include if exists <local/discord>
|
include if exists <local/discord>
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue