[bootstrap] Use local defaults channel mirror (!105) · Merge requests · bob / bob.devtools · GitLab

Snippets Groups Projects

Merged André Anjos requested to merge local-defaults-mirror into master 5 years ago

Activity

André Anjos enabled an automatic merge when the pipeline for 49faef9c succeeds 5 years ago

enabled an automatic merge when the pipeline for 49faef9c succeeds
André Anjos merged 5 years ago

merged
André Anjos mentioned in commit 011c321a 5 years ago

mentioned in commit 011c321a
Tiago de Freitas Pereira @tiago.pereira started a thread on commit 49faef9c 5 years ago

bob/devtools/bootstrap.py

     condarc = os.path.join(args.conda_root, "condarc")
     logger.info("(create) %s", condarc)
     with open(condarc, "wt") as f:
         f.write(_BASE_CONDARC)

Please register or sign in to reply