Repository navigation

Manual cli tool name mode for local/from PR plugin install scripts - #3093

Closed

rinOfTheStars wants to merge 1 commit into

cursorless-dev:mainfrom

rinOfTheStars:local-plugin-fix

Closed

Manual cli tool name mode for local/from PR plugin install scripts#3093
rinOfTheStars wants to merge 1 commit into
cursorless-dev:mainfrom
rinOfTheStars:local-plugin-fix

Commits on Oct 13, 2025
- Allow for manually setting the name of the IDE cli tool in the local (un)install and install-from-pr scripts
  rinOfTheStars
  committed
  1f2637a