Update profiles.
This commit is contained in:
parent
27fe14152b
commit
477df29dd5
19 changed files with 39 additions and 23 deletions
|
|
@ -14,7 +14,6 @@ include <tunables/global>
|
|||
@{exec_path} += /usr/libexec/git-core/git
|
||||
@{exec_path} += /usr/libexec/git-core/git-*
|
||||
@{exec_path} += /usr/libexec/git-core/mergetools/*
|
||||
|
||||
profile git @{exec_path} {
|
||||
include <abstractions/base>
|
||||
include <abstractions/consoles>
|
||||
|
|
@ -52,7 +51,6 @@ profile git @{exec_path} {
|
|||
/{usr/,}bin/cat rix,
|
||||
/{usr/,}bin/dirname rix,
|
||||
|
||||
owner @{BUILD_DIR}/*/.repo/repo/hooks/* rwix,
|
||||
/{usr/,}bin/mv rix,
|
||||
/{usr/,}bin/whoami rix,
|
||||
/{usr/,}bin/hostname rix,
|
||||
|
|
@ -139,7 +137,8 @@ profile git @{exec_path} {
|
|||
/etc/ssh/ssh_config r,
|
||||
|
||||
owner @{HOME}/@{XDG_SSH_DIR}/* r,
|
||||
owner @{HOME}/@{XDG_SSH_DIR}/known_hosts rw,
|
||||
owner @{HOME}/@{XDG_SSH_DIR}/known_hosts{,.*} rw,
|
||||
owner @{HOME}/@{XDG_SSH_DIR}/known_hosts.old rwl,
|
||||
|
||||
owner @{PROC}/@{pid}/fd/ r,
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue