diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-10-15 14:54:25 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-21 10:22:10 +0200 |
| commit | dd564a9d29871f791d7856edf3b38142b5b2c5e3 (patch) | |
| tree | 0172ebab17fe35630e372f4d7305a2cbd61f0ba6 /docs/linux | |
| parent | e2605999d9d1fa4e98bcf850ed007cfd98f27383 (diff) | |
pkg/vcs: add repo OptPrecious and OptDontSandbox options
The pkg/vcs code assumed that we fully manage the repo
within an autonomous program. In particular it tried
to repair any errors by dropping and re-creating the repo.
This does not work well for command-line tools that work
with a user-provided repo. Add OptPrecious for such uses.
Update #2171
Diffstat (limited to 'docs/linux')
0 files changed, 0 insertions, 0 deletions