def Caps.execve

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

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

174# execve(2) of f: the new credentials (the effective user ID changes for a
175# set-user-ID file, and the saved set-user-ID becomes the effective one), or
176# CapsCapabilityDumb (EPERM)
177def Caps.execve(+k: C.CapsKernel, +c: C.CapCred, +f: C.CapFile, +ign: Bool) -> Result<&2, &2, C.CapsError, C.CapCred>:
178  +s = Caps.execve.sets(k, c, f, ign)
179  CapExec.fin(CapExec.dumb_ok(CapExec.file_caps(k, f, ign), C.CapState.permitted(s)), c, CapExec.new_euid(c, f, ign), s)