2 Commits (8e3de35d15361d59d9c7244c12563a85e4903a64)

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