|
From: | Ben |
Subject: | Re: frescobaldi |
Date: | Thu, 21 Sep 2023 10:56:30 +0200 |
Extra! Et pour faire bonne mesure, si vous êtes sûr d'avoir bien récupéré tous vos réglages de raccourcis claviers et fragments personnalisés, etc, vous pourrez alors supprimer l'ancien fichier de réglages avec cette commande: rm /home/christian/.config/frescobaldi/frescobaldi_ancien.conf Au plaisir, Ben
|
[Prev in Thread] | Current Thread | [Next in Thread] |