Usando el SDK de Android desde la línea de comandos, puedo obtener una lista de los dispositivos en ejecución disponibles usando:

./adb device

Esto me da el número de serie de los dispositivos disponibles. ¿Cómo puedo obtener el nombre AVD del dispositivo emulador a partir de ese número de serie (como lo hace el complemento Eclipse ADT)?