Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/03438.jsonl.gz/1902

Ja, richtig.
Ersteres. Multiple Erweiterungen sind aber gängig in verschiedenen Szenarien, wie auch dem von dir erwähnten. Windows weiß dann, dass blabla.sys.mui zur Datei blabla.sys gehört. Gleiches gilt für notepad.exe.mui, die gehört eben zu notepad.exe.Wenn ein Dateiname jetzt mehrere Punkte drin hat, z.b. blabla.sys.mui
Ist dann "mui" das Dateiformat oder ist "sys.mui" das Dateiformat?
MUI steht übrigens für Multilanguage User Interface, also mehrsprachige Bedienoberfläche, .mui sind Sprachdateien, also Dateien, die Übersetzungen für Texte, Fehlermeldungen u. dgl. enthalten.
Hackers Hinweis ist durchaus interessant. Daran hab ich gar nicht gedacht, weil alle von mir installierten Systeme immer alle Dateierweiterungen anzeigen und ich andererseits nahezu nie im Explorer arbeite. Anders gesagt: für mich stellt sich die Frage nicht . Das kann aber bei anderen Leuten wieder anders sein.
Grüße
Dalai