Skip to main content

write_below

lean_ctx::core::pathjail_write

Function write_below 

Source 
pub fn write_below(
    root: &Path,
    rel: &Path,
    content: &[u8],
    mode: u32,
) -> Result<PathBuf, String>
Expand description

Write content to root/rel (file mode on Unix), creating missing directories, without following a symlink anywhere below root.

Only the symlink boundary is enforced here; whether root may be written at all (read-only roots, jail scope) stays the caller’s policy.