diff options
| -rw-r--r-- | tools/mpremote/mpremote/main.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/mpremote/mpremote/main.py b/tools/mpremote/mpremote/main.py index 6a6cbea57..6e2df5179 100644 --- a/tools/mpremote/mpremote/main.py +++ b/tools/mpremote/mpremote/main.py @@ -27,6 +27,7 @@ _PROG = "mpremote" _BUILTIN_COMMAND_EXPANSIONS = { # Device connection shortcuts. + "devs": "connect list", "a0": "connect /dev/ttyACM0", "a1": "connect /dev/ttyACM1", "a2": "connect /dev/ttyACM2", |