def CapExec.file_caps

bend-osdev-caps@0.1.0.0 · exec.bend:126

import Base
import bend-osdev-caps@0.1.0.0/caps.bend as C

126# the file's capabilities as execve sees them: none if ign, or if the kernel
127# has file capabilities off
128def CapExec.file_caps(k: C.CapsKernel, f: C.CapFile, ign: Bool) -> Maybe<&2, C.CapFileSets>:
129  match f:
130    case C.CapFile{u, su, sg, fc}:
131      CapExec.fcaps(Bool.or(ign, Bool.not(C.CapsKernel.file_caps(k))), fc)