My ‘solution’ from yesterday seems to be non consistent.
I just tried it again and it give me a bunch of java errors ???
So I tried an Arduino pro micro and got the same result.
I tried an Arduino nano and that worked fine.
Conclusion, a virtual port like on the 32U4 doesn’t work well with the current Ubuntu/Arduino IDE
Can’t do much about this myself.