BUILD_DIR -> user_build_dirs.

This commit is contained in:
Alexandre Pujol 2021-08-22 15:28:23 +01:00
parent b65955d055
commit f922a5f8e8
No known key found for this signature in database
GPG key ID: C5469996F0DF68EC
30 changed files with 44 additions and 103 deletions

View file

@ -6,8 +6,6 @@ abi <abi/3.0>,
include <tunables/global>
@{BUILD_DIR} = @{MOUNTS}/debuilder/
@{exec_path} = /{usr/,}bin/apt
profile apt @{exec_path} flags=(complain) {
include <abstractions/base>
@ -119,7 +117,7 @@ profile apt @{exec_path} flags=(complain) {
/var/cache/apt/** rwk,
# For package building
@{BUILD_DIR}/** rwkl -> @{BUILD_DIR}/**,
@{user_build_dirs}/** rwkl -> @{user_build_dirs}/**,
profile editor flags=(complain) {
@ -164,7 +162,7 @@ profile apt @{exec_path} flags=(complain) {
/etc/dpkg/origins/debian r,
owner @{BUILD_DIR}/** rwkl -> @{BUILD_DIR}/**,
owner @{user_build_dirs}/** rwkl -> @{user_build_dirs}/**,
owner @{HOME}/** rwkl -> @{HOME}/**,
audit deny owner @{HOME}/.* mrwkl,
audit deny owner @{HOME}/.*/ rw,