def path

bolt@1.27.0.0 · src/lsp/proto.bend:278

import Base
import bolt@1.27.0.0/src/lsp/frame.bend as Frame

278# a file URI's path: the scheme dropped, the %XX bytes decoded as UTF-8
279def path(+uri: String) -> String:
280  Frame.decode(unpercent(String.to_list(
281    Bool.pick(String, String.starts_with(uri, "file://"), String.drop(uri, 7n), uri))))