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.

Sign up for GitHub

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

Jump to bottom

Adds alias to vagrant plugin #8905

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Adds alias to vagrant plugin #8905

wants to merge 2 commits into from

Conversation

wiebekn
Copy link

@wiebekn wiebekn commented May 8, 2020

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.

Changes:

  • Added alias "vha" for the vagrant plugin to shutdown all vagrants.

Other comments:

@wiebekn
Adds vha alias
d342a17 
Update vagrant plugin with vha command to shutdown all vagrants
@wiebekn
Merge pull request #1 from wiebekn/wiebekn-patch-1
0289e86 
Adds vha alias
@ohmyzsh ohmyzsh bot added Area: plugin Issue or PR related to a plugin Topic: alias Pull Request or issue regarding aliases labels May 8, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kbakdev kbakdev kbakdev approved these changes

Assignees
No one assigned
Labels
Area: plugin Issue or PR related to a plugin Topic: alias Pull Request or issue regarding aliases
Projects
Main project
Status: Backlog
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@wiebekn @kbakdev