The following files will "patch" Vagrant 185 so it works with RedHat client Distros.

README

   This README


Windows 10

 getvagrantpatch.bat

   Run on Windows 10 Host machine after Vagrant 185 has been installed. 
   Assumes that Vagrant 185 was installed in "default" location.


Linux Host machine after Vagrant 185 has been installed. 

   patchvagrant185.sh

      Patches actual file.  Assumes Vagrant is installed in 
      /opt/vagrant/ as the Centos rpm from Vagrant does.

or

   getvagrantpatch.sh   

     Replaces file with patched file. Assumes Vagrant is installed in
      /opt/vagrant/ as the Centos rpm from Vagrant does.


public_key.rb

   This is the patched file that will be used for getvagrantpatch.bat or
   getvagrantpatch.sh .  User does not need to do anything with this file.