Well, this is a wordy headline. But if you are running into this problem – like I did – you might search exactly for this and this is called effective seo or something. Here is the premise: You are using Vagrant, like any self-respecting developer would do and you also have soft spot for JetBrains products, i.e. PhpStorm, then you might want to start and stop vagrant directly from your beloved IDE. As you should! You paid good money to be spared from entering commands into a terminal.