(s: string)
| 1565 | // ── Path helpers ───────────────────────────────────────────────────── |
| 1566 | |
| 1567 | function escapeLike(s: string): string { |
| 1568 | return s.replace(/[\\%_]/g, (ch) => "\\" + ch); |
| 1569 | } |
| 1570 | |
| 1571 | function normalizePath(path: string): string { |
| 1572 | if (!path.startsWith("/")) path = "/" + path; |
no test coverage detected