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

Open

rinOfTheStars wants to merge 1 commit intocursorless-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