anchor.diff:      echo # Installing apt-cyg package manager if required
       echo #
       echo if ! [[ -x /usr/local/bin/apt-cyg ]]; then
  -    if not "%PROXY%" == "" (
  +    if not "%PROXY_HOST%" == "" (
           echo     # temporary proxy settings during initial installation
           echo     export http_proxy=http://%%PROXY_HOST%%:%%PROXY_PORT%%
           echo     export https_proxy=http://%%PROXY_HOST%%:%%PROXY_PORT%%
  
positive.code: del "%DOWNLOADER%"
  
  :: Cygwin command line options: https://cygwin.com/faq/faq.html#faq.setup.cli
  if "%PROXY%" == "" (
      set CYGWIN_PROXY=
  ) else (
      set CYGWIN_PROXY=--proxy "%PROXY_HOST%:%PROXY_PORT%"
  
negative.code:     echo bash "%%CYGWIN_ROOT%%\bash-funk-portable-init.sh"
      echo.
      echo if "%%1" == "" (
      echo   mintty --option TERM=xterm-256color --size 160,50 --icon %CYGWIN_ROOT%\Cygwin-Terminal.ico -
      echo ^) else (
      echo   if "%%1" == "no-mintty" (
      echo     bash --login -i
      echo   ^) else (
      echo     bash --login -c %%*
      echo   ^)
      echo ^)
      echo.
      echo cd "%%cwd%%"
  