(filePath: string)
| 17 | } |
| 18 | |
| 19 | function expandTilde(filePath: string): string { |
| 20 | if (filePath === '~' || filePath.startsWith('~/') || filePath.startsWith('~\\')) { |
| 21 | return path.join(os.homedir(), filePath.slice(1)); |
| 22 | } |
| 23 | return filePath; |
| 24 | } |
| 25 | |
| 26 | function parseStringArray(value: unknown): string[] | undefined { |
| 27 | if (!Array.isArray(value)) { |