2 Commits (5bce72ef57255ab1c23d8fb753417859afe6e0f0)

Author	SHA1	Message	Date
Marc Cornellà	4c9fc2634b	vagrant-prompt: replace `grep -P` call with sed and clean up ... Fixes #9207	2020-08-28 23:50:37 +02:00
Alberto Re	29a2394c8f	Adds `vagrant_prompt_info` function to your shell (#4081)	2018-07-01 20:16:08 +02:00