diff options
| author | Damien George <damien@micropython.org> | 2025-04-24 13:15:40 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-06-16 15:11:24 +1000 |
| commit | d9467b07cb036dfc0d54f36fd74356001881d154 (patch) | |
| tree | c22893ef8153f04ff5200f50431faabf4e669272 /py/objstringio.c | |
| parent | 171d751242ba7c9fd32b86852a1383bc23c6fda1 (diff) | |
| download | micropython-d9467b07cb036dfc0d54f36fd74356001881d154.tar.gz micropython-d9467b07cb036dfc0d54f36fd74356001881d154.zip | |
tools/mpremote: Improve df command to use new no-arg vfs.mount() query.
The existing `mpremote df` command is not very good, because it needs to
assume that all directories in the root directory are mount points, and
also doesn't correctly stat filesystems when the current directory is not
the root. This leads to wrong results
With the introduction of `vfs.mount()` to return a list of mounted
filesystems and their path, a much better df can be implemented, as done in
this commit.
The new df will also fall back to using the old approach of listing the
root directory if the no-arg `vfs.mount()` query is not supported.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'py/objstringio.c')
0 files changed, 0 insertions, 0 deletions