diff options
| author | Andrew Leech <andrew.leech@planetinnovation.com.au> | 2022-02-02 21:20:05 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2022-02-04 15:11:04 +1100 |
| commit | b1519845f5dfd46b82fd5b3d980812d30ce0140b (patch) | |
| tree | 0956382a4c841d7a1cd4a702b1095ce126e75222 | |
| parent | 5a86d8dc424b5923d5d1a7c1352378ef328847d6 (diff) | |
tools/mpremote: Accept both --help and help to show usage.
| -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 5c6362558..492d2d26d 100644 --- a/tools/mpremote/mpremote/main.py +++ b/tools/mpremote/mpremote/main.py @@ -96,6 +96,7 @@ _BUILTIN_COMMAND_EXPANSIONS = { "exec", "import machine; machine.RTC().datetime((2020, 1, 1, 0, 10, 0, 0, 0))", ], + "--help": "help", } for port_num in range(4): |