Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add plugin for native autocompletion from Symfony 6 #11999

Merged
merged 1 commit into from
Jun 10, 2024

Conversation

malteschlueter
Copy link
Contributor

@malteschlueter malteschlueter commented Oct 21, 2023

Standards checklist:

  • The PR title is descriptive.
  • The PR doesn't replicate another PR which is already open.
  • I have read the contribution guide and followed all the instructions.
  • The code follows the code style guide detailed in the wiki.
  • The code is mine or it's from somewhere with an MIT-compatible license.
  • The code is efficient, to the best of my ability, and does not waste computer resources.
  • The code is stable and I have tested it myself, to the best of my abilities.
  • If the code introduces new aliases, I provide a valid use case for all plugin users down below.

Changes:

  • Add plugin for native autocompletion from Symfony 6

Other comments:

Native auto-completion was introduced in Symfony 5.4, but only for bash.
As of Symfony 6.2, zsh is also supported, so I wanted to add it as a new plugin.

The code is generated by the Symfony command `php bin/console completion zsh'.

https://symfony.com/doc/current/console.html#console-completion
https://symfony.com/blog/new-in-symfony-6-2-console-improvements#zsh-shell-autocompletion

@ohmyzsh ohmyzsh bot added Area: plugin Issue or PR related to a plugin Type: documentation Documentation issue or Pull Request New: plugin Request for a plugin or Pull Request that adds one labels Oct 21, 2023
@robbyrussell robbyrussell merged commit 166b9dc into ohmyzsh:master Jun 10, 2024
1 check passed
robbyrussell added a commit that referenced this pull request Jun 10, 2024
robbyrussell added a commit that referenced this pull request Jun 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area: plugin Issue or PR related to a plugin New: plugin Request for a plugin or Pull Request that adds one Type: documentation Documentation issue or Pull Request
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

None yet

2 participants