(pluginId: string)
| 90 | } |
| 91 | |
| 92 | function sanitizePluginId(pluginId: string): string { |
| 93 | // Same character class as the install-cache sanitizer (pluginLoader.ts) |
| 94 | return pluginId.replace(/[^a-zA-Z0-9\-_]/g, '-') |
| 95 | } |
| 96 | |
| 97 | /** Pure path — no mkdir. For display (e.g. uninstall dialog). */ |
| 98 | export function pluginDataDirPath(pluginId: string): string { |