It turned out that I just needed to upgrade Vagrant - there was a known bug
in the version that I was using (although I'm still not clear why adding
the SSH forwarding config was triggering the issue).
On Wednesday, May 17, 2017 at 12:39:22 PM UTC-7, Alvaro Miranda Aguilera
wrote:
>
> hello
>
What does happen with the instructions of jetbrains?
https://confluence.jetbrains.com/display/PhpStorm/Working+with+Advanced+Vagrant+features+in+PhpStorm#WorkingwithAdvancedVagrantfeaturesinPhpStorm-1.Usingthebuilt-inSSHterminaltoconnecttotheVagrantmachine
On Mon, May 22, 2017 at 11:37 AM,
I'm using PHP Storm only since a few days.
I can succesfully run/halt/etc Vagrant instance using Tools-> Vagrant menu
I'd like to be able to enter into vagrant box via ssh using Tool -> Start
SSH connection...
It shows me 'current vagrant', but nothing happens.
What should I check?
--
This