Gedit is inderdaad een tekst bewerker, alleen kan ik die %s niet thuisbrengen. Als ik een config file wil bewerken via de terminal geef ik in gksudo gedit dan kan ik als root bewerken en opslaan, als je weet waar de file staat en de naam weet kan je die achter het commando ingeven.
Probeer dit commando eens te koppelen aan F4.
Ik kan het zelf niet uittesten, de pakket bronnen zijn niet bereikbaar.
Inmiddels weer geïnstalleerd en F4 werkt gewoon bij mij.
Met vriendelijke groet,
Gijs