Gedit, l’éditeur de texte par défaut dans Ubuntu, dispose d’une option qui permet de sauvegarder automatiquement les fichiers. Elle n’est pas activée par défaut, vous la trouverez dans les Préférences de Gedit->Éditeur :
Bien. Sauf que cette option ne fonctionne que si le fichier a été sauvegardé une première fois. C’est bête, hein.
La seule solution que j’ai trouvée : installer le plugin gedit-focus-autosave, qui enregistre automatiquement le fichier dès que gedit n’est plus au premier plan.
Une fois téléchargé et installé, pensez à l’activer dans les Préférences -> Greffons:
C’est déjà beaucoup mieux. Mais, par défaut, le plugin sauvegarde les fichiers dans le dossier /tmp. Si vous préférez les stocker dans un dossier plus… durable, ouvrez le fichier /home/david/.local/share/gedit/plugins/focus_autosave.py et modifiez la ligne :
filename = now.strftime("/tmp/gedit.unsaved.%Y%m%d-%H%M%S.txt");
Remplacez "/tmp/gedit.unsaved.%Y%m%d-%H%M%S.txt" par le répertoire et par le nom de fichier de votre choix. Si vous vous posez la question, chez moi ça ressemble à ça :
filename = now.strftime("/home/david/Dropbox/perso/archives/%Y%m%d-%H%M%S-W-.markdown")
Et voilà, avec l’option de sauvegarde automatique et ce plugin, mes fichiers sont automatiquement sauvegardés dans ma Dropbox et cela même si j’oublie de leur donner un nom.
Vaguement sur le même sujet :
3 comments » Write a comment