Skip to content

Improve command not found handling#1575

Merged
jmchilton merged 1 commit intogalaxyproject:masterfrom
mvdbeek:improve_command_not_found
Oct 16, 2025
Merged

Improve command not found handling#1575
jmchilton merged 1 commit intogalaxyproject:masterfrom
mvdbeek:improve_command_not_found

Conversation

@mvdbeek
Copy link
Member

@mvdbeek mvdbeek commented Oct 15, 2025 •
edited
Loading

Closes #1565

❯ planemo profile_init --help
Error: No such command 'profile_init'.

Did you mean one of these?
  - profile_create
  - profile_delete
  - profile_job_config_init
  - profile_list
  - project_init

Run 'planemo --help' to see all available commands.

@mvdbeek mvdbeek force-pushed the improve_command_not_found branch from afe0cfd to f1ee8ef Compare October 15, 2025 08:53
@jmchilton jmchilton enabled auto-merge October 16, 2025 14:03
@jmchilton jmchilton merged commit 6f882e2 into galaxyproject:master Oct 16, 2025
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@jmchilton jmchilton jmchilton approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

planemo gives confusing message on unknown command

2 participants

@mvdbeek @jmchilton