mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-01-24 15:26:46 -06:00
13 lines
354 B
Plaintext
13 lines
354 B
Plaintext
|
# This profile allows everything and only exists to give the
|
||
|
# application a name instead of having the label "unconfined"
|
||
|
|
||
|
abi <abi/4.0>,
|
||
|
include <tunables/global>
|
||
|
|
||
|
profile pgadmin4 /usr/pgadmin4/bin/pgadmin4 flags=(unconfined) {
|
||
|
userns,
|
||
|
|
||
|
# Site-specific additions and overrides. See local/README for details.
|
||
|
include if exists <local/pgadmin4>
|
||
|
}
|