2 Commits (dbf555438e48fe447736200bd6f6d969a51a8086)

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