diff options
| author | Damien George <damien@micropython.org> | 2025-04-10 16:00:21 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-05-02 11:44:32 +1000 |
| commit | e53f262a85349b4871a38d899a30b05b2ed4b62f (patch) | |
| tree | 1b8ddf462b0d9f387ec4c30d60f02bfad0cb5d57 /docs/esp8266/tutorial/repl.rst | |
| parent | 4117a2d9b5a2e0f3e84e7d49a8f05ae04fac8b39 (diff) | |
| download | micropython-e53f262a85349b4871a38d899a30b05b2ed4b62f.tar.gz micropython-e53f262a85349b4871a38d899a30b05b2ed4b62f.zip | |
tools/mpremote: For mip install, use hash to skip files that exist.
When using `mip install`, if a file that needs to be downloaded already
exists locally, then the hash of that local file will be computed and if it
matches the known hash of the remote file it will not be downloaded.
Hashes in mip are guaranteed unique, so this change should never leave
stale files on the filesystem.
This behaviour follows that of the `mip` package in `micropython-lib`.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'docs/esp8266/tutorial/repl.rst')
0 files changed, 0 insertions, 0 deletions