def http_proxy(self):
    if os.getenv('HTTP_PROXY'):
      return os.getenv('HTTP_PROXY')
    if os.getenv('http_proxy'):
      return os.getenv('http_proxy')
    return self.get_options().http_proxy
Return the sanitized filename of a header file.
dataset/ETHPy150Open pantsbuild/pants/src/python/pants/ivy/ivy_subsystem.py/IvySubsystem.http_proxy--crossover with--dataset/ETHPy150Open tpircher/pycrc/crc_symtable.py/SymbolTable.__pretty_header_filename