Function sed_in_place

configure.py:122–134

Replace old string with new string in file. Args: filename: string for filename. old: string to replace. new: new string to replace to.

(filename, old, new)

def sed_in_place(filename, old, new):
  """Replace old string with new string in file.

  Args:
    filename: string for filename.
    old: string to replace.
    new: new string to replace to.
  """
  with open(filename, 'r') as f:
    filedata = f.read()
  newdata = filedata.replace(old, new)
  with open(filename, 'w') as f:
    f.write(newdata)


def write_to_bazelrc(line):