Vagrant delivered by installer has no vagrant.exe
-------------------------------------------------
Key: JBDS-3625
URL:
https://issues.jboss.org/browse/JBDS-3625
Project: Developer Studio (JBoss Developer Studio)
Issue Type: Bug
Environment: Windows x86_64
Reporter: Denis Golovin
Assignee: Denis Golovin
Labels: havoc
Fix For: 9.1.0.CR1
As [~hardy.ferentschik] pointed out in DEVEX-90 vagrant from installer (see
https://github.com/redhat-developer-tooling/vagrant-distribution) has no vagrant.exe, but
original vagrant installer does have it.
That should be fixed in vagrant distributed by installer, because current tools
implementation expects vagrant.exe to be available.