Function toolUnknownError

src/commands/workset-input.ts:117–129

(
  toolId: string,
  table: OpenerDefinition[]
)

}

export function toolUnknownError(
  toolId: string,
  table: OpenerDefinition[]
): StoreError {
  const knownIds = table
    .filter((opener) => isOpenerEnabled(opener))
    .map((opener) => opener.id)
    .join(', ');
  return new StoreError(`Unknown tool '${toolId}'.`, 'workset_tool_unknown', {
    target: 'workset.tool',
    fix: `Known tools: ${knownIds}. Add new tools under "openers" in ${getGlobalConfigPath()}.`,
  });
}

/** Stops at the first installed alternative instead of scanning all. */
export function firstInstalledAlternative(