Danke, @dingsbums, funktioniert aber nicht.
Ich hatte weder das Verzeichnis .config/libfm/ noch die darin enthaltene Datei (wie auch, ohne Verzeichnis). Habe die Datei unter .config/libfm/libfm.conf mit dem besagten Inhalt angelegt und Ubuntu neu gestartet. Nichts. Funktioniert auch nicht.
Immer noch auf Lösungssuche, gl