Skip to content

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

Allow for manually setting the name of the IDE cli tool in the local …

1f2637a
Select commit
Loading
Failed to load commit list.
Netlify / Pages changed - cursorless completed Oct 13, 2025 in 1m 36s

132 new files uploaded

130 generated pages and 2 assets changed.

Details

Changed pages include:

  • index.html - view
  • 404.html - view
  • cheatsheet.html - view
  • docs/index.html - view
  • enablement-group.html - view
  • docs/404.html - view
  • docs/contributing/index.html - view
  • docs/search/index.html - view
  • docs/contributing/adding-a-new-language/index.html - view
  • docs/contributing/adding-a-new-package/index.html - view

There are more changes not included in the list