From 162bf3c5d8055a9e9a17461878c9d058066283a5 Mon Sep 17 00:00:00 2001
From: Damien George <damien@micropython.org>
Date: Thu, 12 Aug 2021 17:28:37 +1000
Subject: [PATCH] tools/mpremote: Add "devs" shortcut for "connect list".

See issue #7480.

Signed-off-by: Damien George <damien@micropython.org>
---
 tools/mpremote/mpremote/main.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/mpremote/mpremote/main.py b/tools/mpremote/mpremote/main.py
index 6a6cbea573..6e2df5179d 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",