def expand

ezx@1.11.0.0 · src/ez/target.bend:430

import Base

430# `~` and `~/…` expanded. Anything else is already a path.
431def expand(+home: String, +path: String) -> String:
432  Bool.pick(String, String.eq(path, "~"), home,
433    Bool.pick(String, String.starts_with(path, "~/"),
434      home ++ String.drop(path, 1n), path))