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