Ein bisschen schlauer bin ich mittlerweile. Bei einem neu angelegten User funktioniert es, es muss also eine Einstellung im einem versteckten Ordner im Homeverzeichnis sein.
Nur wie oder was suche ich dafür? Wie finde ich alles mit medit, auch wenn Ordner darüber zB versteckt sind? Mit find oder catfish ist mir noch nichts untergekommen.
cat ~/.local/share/medit/prefs.xml
<?xml version="1.0" encoding="UTF-8"?><!-- -*- xml -*- -->
<moo-prefs version="1.0">
<Prefs>
<item name="Editor/font" type="string">Monospace 10</item>
<item name="Editor/save_session" type="bool">FALSE</item>
<item name="Editor/show_line_numbers" type="bool">TRUE</item>
<item name="Editor/wrapping_enable" type="bool">TRUE</item>
</Prefs>
Da sehe ich nichts, was das Ersetzen beeinflussen könnte. Vielleicht nützt medit eine globale Einstellung beim Ersetzen? Es scheint jedenfalls kein genereller Bug zu sein, da es mit einem anderen User funktioniert.