* If installLocation points into a configured seed directory, return that seed * directory. Seed-managed entries are admin-controlled — users can't * remove/refresh/modify them (they'd be overwritten by registerSeedMarketplaces * on next startup). Returning the specific seed lets error messages n
(installLocation: string)
| 494 | * on next startup). Returning the specific seed lets error messages name it. |
| 495 | */ |
| 496 | function seedDirFor(installLocation: string): string | undefined { |
| 497 | return getPluginSeedDirs().find( |
| 498 | d => installLocation === d || installLocation.startsWith(d + sep), |
| 499 | ) |
| 500 | } |
| 501 | |
| 502 | /** |
| 503 | * Git pull operation (exported for testing) |
no test coverage detected