Kept getting this, even though vagrant was installed.
*** You have installed Drush Vagrant Integration, but Vagrant does not appear to be installed. [warning]
*** Please install Vagrant (http://vagrantup.com/) before continuing.
Changing line 39 in vagrant.drush.inc to:
if (!isset($cache['vagrant_path']) || !isset($cache['vagrant_path']->data)) {
fixed the problem.
| Comment | File | Size | Author |
|---|---|---|---|
| #3 | issue-1847310-2.patch | 733 bytes | jon pugh |
| #2 | issue-1847310-2.patch | 733 bytes | jon pugh |
| #1 | issue-1847310.patch | 590 bytes | lsolesen |
Comments
Comment #1
lsolesen commentedPatch attached.
Comment #2
jon pughI am getting that warning message too, but the patch didn't fix it for me.
I discovered that the problem was that the $cache variable was not being set again once drush_cache_set() was called, resulting in stale data.
Attached is a new patch that simply reassigns
$cachewhen drush_cache_set() is called, since drush_cache_set() returns the newly cached object.Comment #3
jon pughComment #4
helmo commentedUnfortunately the return value of drush_cache_set is not equal to that of drush_cache_get_multiple. So this patch results in the different structure for $cache.
I've just tested with drush 5.7 and 5.8
Some tracing showed me that the return value of file_put_contents() is returned... I got an integer(107)
The set() method calls a writeFile() method.
This smells like a drush bug....
Comment #5
discipolo commented7.x-3.x has the same issue ... the initial patch resolved the issue for me though.
Comment #5.0
discipolo commentedFixed code snippet.