summaryrefslogtreecommitdiff
path: root/plugins/vagrant-prompt
AgeCommit message (Collapse)Author
2020-08-28vagrant-prompt: replace `grep -P` call with sed and clean upMarc Cornellà
Fixes #9207
2018-07-01Adds `vagrant_prompt_info` function to your shell (#4081)Alberto Re