anchor.diff:  del /F %USERPROFILE%\.ssh\known_hosts
   if exist %USERPROFILE%\.ssh\known_hosts echo known_hosts still here!!
   vagrant up --provider=%vagrant_provider%
  -if ERRORLEVEL 1 goto :done
  +if ERRORLEVEL 1 set result=%ERRORLEVEL%
   
   set VAGRANT_LOG=warn
   @echo Sleep 10 seconds
   @ping 1.1.1.1 -n 1 -w 10000 > nul
   
   vagrant destroy -f
  -if ERRORLEVEL 1 goto :done
  +if ERRORLEVEL 1 set result=%ERRORLEVEL%
   popd
   
   vagrant box remove %box_name% --provider=%box_provider%
  -if ERRORLEVEL 1 goto :done
  +if ERRORLEVEL 1 set result=%ERRORLEVEL%
   
   goto :done
   
  
positive.code: exit /b
  
  :done
  
negative.code: 
  vagrant box remove %box_name% --provider=%box_provider%
  vagrant box add %box_name% %box_path%
  if ERRORLEVEL 1 set result=%ERRORLEVEL%
  if ERRORLEVEL 1 goto :done
  mkdir %tmp_path%
  
  