Previous  Up  Next

Module Types.PathPermission

module PathPermission: sig .. end

path permission: OpenBSD: unveil(2) Linux: landlock(7)

type t =
| Read (*

read makes PathAccess.path:

  • OpenBSD: available for read operations, corresponding to SystemOperation.ReadFromFilesystem
  • Linux: available for read operations
*)
| Write (*

write makes PathAccess.path:

  • OpenBSD: available for write operations, corresponding to SystemOperation.WriteToFilesystem
  • Linux: available for write operations
*)
| Execute (*

execute makes PathAccess.path:

  • OpenBSD: available for execute operations, corresponding to SystemOperation.Execute
  • Linux: available for execute operations
*)
| CreateAndRemove (*

create and remove allows PathAccess.path:

  • OpenBSD: to be created and removed, corresponding to SystemOperation.CreateAndRemoveOnFilesystem
  • Linux: to be created and removed
*)