2 Commits (668ca3a32dae5ff5d164fc3be565f1e2ece248db)

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