(uri: string)
| 16 | } |
| 17 | |
| 18 | export function getCleanUriPath(uri: string) { |
| 19 | const path = URI.parse(uri).path ?? ""; |
| 20 | let clean = path.replace(/^\//, ""); // remove start slash |
| 21 | clean = clean.replace(/\/$/, ""); // remove end slash |
| 22 | return clean; |
| 23 | } |
| 24 | |
| 25 | export function findUriInDirs( |
| 26 | uri: string, |
no test coverage detected