feat(profiles): general update.
This commit is contained in:
parent
37dd97a875
commit
f20ccedf4f
7 changed files with 44 additions and 12 deletions
|
|
@ -117,6 +117,8 @@ profile git @{exec_path} {
|
|||
owner /tmp/.git_vtag_tmp* r,
|
||||
|
||||
deny @{user_share_dirs}/gvfs-metadata/* r,
|
||||
|
||||
include if exists <local/git_gpg>
|
||||
}
|
||||
|
||||
profile ssh {
|
||||
|
|
@ -144,6 +146,8 @@ profile git @{exec_path} {
|
|||
owner @{PROC}/@{pid}/fd/ r,
|
||||
|
||||
deny @{user_share_dirs}/gvfs-metadata/* r,
|
||||
|
||||
include if exists <local/git_ssh>
|
||||
}
|
||||
|
||||
profile exec {
|
||||
|
|
@ -151,6 +155,7 @@ profile git @{exec_path} {
|
|||
|
||||
owner @{user_build_dirs}/**/bin/* mr,
|
||||
|
||||
include if exists <local/git_exec>
|
||||
}
|
||||
|
||||
profile editor {
|
||||
|
|
@ -185,6 +190,7 @@ profile git @{exec_path} {
|
|||
owner @{user_build_dirs}/ r,
|
||||
owner @{user_build_dirs}/** rw,
|
||||
|
||||
include if exists <local/git_editor>
|
||||
}
|
||||
|
||||
include if exists <local/git>
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue