def remove_dots

bend-net-url@0.4.0.0 · url.bend:434

import bend-net-url@0.4.0.0/url.bend as Url

import Base

434# §5.2.4 for an absolute path: "." and ".." segments go away.
435def remove_dots(path: String) -> String:
436  dots.abs(String.split(path, '/'))

Uses (4)

Used by (1)

bend-net-url@0.4.0.0/url:res.rel.go