Add -L to allow curl to redirect in case we decide to move website later

Review Request #3804 — Created May 1, 2016 and submitted

zundel
pants
zundel/add-curl-redirect
e5b42b0...
pants-reviews
benjyw, jsirois, mateor, stuhood

We had a hiccup when trying to move to www.pantsbuild.com This may prevent angst in the future if we move the source of truth to pants docs to another website.

Ran curl -L -O https://pantsbuild.github.io/setup/pants && chmod +x pants && touch pants.ini from the command line

  1. Ship It!
  2. 
      
Review request changed

Status: Closed (submitted)

Change Summary:

In at 02c2dcd

  1. Ship It!
  2. 
      
  1. I just fixed it over here too: http://pantsbuild.github.io/setup/
  2. 
      
Loading...