Hide content and notifications from this user.
Contact Support about this user's behavior.
Allow the definition of arbitrary scripts that will run on the host before and/or after Vagrant commands.
Vagrant is a tool for building and distributing development environments.
Seeing something unexpected? Take a look at the
GitHub profile guide.