(...parts: string[])
| 628 | return p.replace(/\\/g, '/') |
| 629 | } |
| 630 | function joinSub(...parts: string[]): string { |
| 631 | return parts |
| 632 | .map((p) => p.replace(/^\/+|\/+$/g, '')) |
| 633 | .filter(Boolean) |
| 634 | .join('/') |
| 635 | } |
| 636 | |
| 637 | /** Title of a database from its data.csv path. */ |
| 638 | function dbTitleFromPath(csvPath: string): string { |
no outgoing calls
no test coverage detected