Google Git
Sign in
vanadium / release.go.jiri / e7cd9c787b8e841d5227f0756e74c361f60c3827
commite7cd9c787b8e841d5227f0756e74c361f60c3827[log] [tgz]
authorCosmos Nicolaou <cnicolaou@google.com>Mon Nov 09 14:29:03 2015 -0800
committerCosmos Nicolaou <cnicolaou@google.com>Mon Nov 09 14:29:03 2015 -0800
tree2834a125a0fb7e59ca14d0f624c47fa6bb715574
parent90a995df4955c7b66c076524de33b2566c7901ff [diff]
v.io/jiri/profiles: bug fix, ensure that a version is always specified.

In order to be able to unambiguosly remove profiles, its essential that
the manifest records the default version # that was used at install time.
This was ensured when using v23-profile install, but not when using
profiles.EnsureProfileIsInstalled. This CL fixes that, but this
requires fixing up the existing installations. To do so, I introduce
a 'sanitize' command that can perform various cleanups like this.
It is intended for use by end users and from presubmits.

Whilst doing this, I folded cleanup into the new sanitize command and
similarly folded the 'recreate' command into list --info.

MultiPart: 1/2

Change-Id: I78de04fe773c0c95a9a9873a42013f2c1941ce65
7 files changed
tree: 2834a125a0fb7e59ca14d0f624c47fa6bb715574
  1. collect/
  2. gerrit/
  3. gitutil/
  4. googlesource/
  5. jenkins/
  6. profiles/
  7. project/
  8. retry/
  9. runutil/
  10. tool/
  11. util/
  12. .api
  13. .gitignore
  14. .godepcop
  15. AUTHORS
  16. cl.go
  17. cl_test.go
  18. cmd.go
  19. contrib.go
  20. CONTRIBUTING.md
  21. CONTRIBUTORS
  22. doc.go
  23. LICENSE
  24. PATENTS
  25. project.go
  26. README.md
  27. rebuild.go
  28. snapshot.go
  29. snapshot_test.go
  30. update.go
  31. VERSION
README.md

Jiri

“Jiri integrates repositories intelligently”

This repository implements the Jiri repository management tool.

For documentation, see http://godoc.org/v.io/jiri