I have plugged an Arduino Micro on a Linux Mint machine. I got problems in recognizing the board, which I have solved following this post with
sudo systemctl stop ModemManager.service.
But today, when I plugged the board again, it was not recognized at all, as in no port was identified by Arduino IDE.
Is this a problem of setting? A bad USB?