Beim spielen mit einem ESP32 ist mir aufgefallen, dass mein user nicht in der "dialout" gruppe war. Darum schlug ein schreiben des ESP mit folgender Fehlermeldung fehl. Failed to execute 'open' on 'SerialPort': Failed to open serial port.
Das kann man temporär zügig beheben sudo setfacl -m u ...
Aktualisierung und Änderungen für 46 Texte. Version 5.1+ (Build: 20251017) customlang_de.zip Hier mal eine Liste meiner zusätzlich eingesetztzen Plugins:
Board Etherpad Lite GeoGebra Freie Gruppeneinteilung Mindmap PDF-Annotation Studentenordner Edwiser Site Monitor Log report Benutzer ...