clean-fish-15260
$ cat pants.ini | grep -C3 write [cache] read_from: [ "<https://myhost:8080/pants>", "%(homedir)s/pantscache" ] write_to: [ "%(homedir)s/pantscache" ]