Profiles update.
This commit is contained in:
parent
fd1dce916d
commit
ea366754d7
16 changed files with 77 additions and 15 deletions
|
|
@ -176,6 +176,7 @@ profile gnome-shell @{exec_path} flags=(attach_disconnected) {
|
|||
|
||||
# file_inherit
|
||||
/dev/tty[0-9]* rw,
|
||||
owner /dev/shm/wayland.mozilla.ipc.[0-9]* rw,
|
||||
|
||||
include if exists <local/gnome-shell>
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue