diff options
| author | Daniel Micay <danielmicay@gmail.com> | 2020-04-23 15:34:17 -0400 |
|---|---|---|
| committer | Daniel Micay <danielmicay@gmail.com> | 2020-04-23 15:34:17 -0400 |
| commit | 8442e2f8982824af8599d640f8ea583bdb023fd0 (patch) | |
| tree | a134ef8ef3bae78d9fa44b68eb927c8d50edbe29 /static/build.html | |
| parent | cc3d8c351f14a1e8e22fc8774bc22a0acd4b894b (diff) | |
clarify repo sync on unreliable connections
Diffstat (limited to 'static/build.html')
| -rw-r--r-- | static/build.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/static/build.html b/static/build.html index 269cd2e1..30520e45 100644 --- a/static/build.html +++ b/static/build.html @@ -226,8 +226,8 @@ repo init -u https://github.com/GrapheneOS/platform_manifest.git -b 10 repo sync -j32</pre> <p>If your network is unreliable and <code>repo sync</code> fails, you can run the - <code>repo sync</code> command again as many times as needed for it to fully - succeed.</p> + <code>repo sync</code> command again to continue from where it was interrupted. It + handles connection failures robustly and you shouldn't start over from scratch.</p> <h2 id="stable-release"> <a href="#stable-release">Stable release</a> |