diff options
| author | Joel Challis <git@zvecr.com> | 2022-06-30 23:29:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-30 23:29:56 +0100 |
| commit | a98f69850f6f9a15072122c32e6679e2dc49321a (patch) | |
| tree | a69bb3f94a4db3209857293e01f40a46ce33997f /util | |
| parent | e5a15f404dbf8731e00a6f8e197a72ef61fbde56 (diff) | |
Also check /run/media/ for uf2 drives (#17517)
Diffstat (limited to 'util')
| -rwxr-xr-x | util/uf2conv.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/util/uf2conv.py b/util/uf2conv.py index df94b5ac99..7f5645414a 100755 --- a/util/uf2conv.py +++ b/util/uf2conv.py @@ -219,6 +219,9 @@ def get_drives(): tmp = rootpath + "/" + os.environ["USER"] if os.path.isdir(tmp): rootpath = tmp + tmp = "/run" + rootpath + "/" + os.environ["USER"] + if os.path.isdir(tmp): + rootpath = tmp for d in os.listdir(rootpath): drives.append(os.path.join(rootpath, d)) |