Ubuntu
gnome-shell-extension-ubuntu-dock package

  1. Bug #1730765
  2. Comment #8

Comment 8 for bug 1730765

Revision history for this message
Sebastien Bacher (seb128) wrote :

The issue was resolved in Ubuntu 19.10, the dock lists devices now. If you have problems with the implementation best to open a new report describing the details