Il existe un plugin qui fera l'affaire.
- Téléchargez "doublesave.zip" à partir de aquí .
- Extrayez le contenu et copiez
doublesave.plugin
y doublesave.py
a ~/.local/share/gedit/plugins
. Si le dossier n'existe pas, vous devrez le créer.
- Créez également
~/gedit-backups
car les fichiers de sauvegarde seront stockés ici.
Ouvrez gedit et activez le plugin Doublesave : sélectionnez Edit Preferences Plugins [Name of Plugin] pour activer le plugin.
Désormais, chaque fois que vous enregistrez un fichier dans gedit pendant que vous travaillez, une sauvegarde horodatée est créée dans ~/gedit-backups
.
Il est également possible de modifier certaines choses. Par exemple, j'ai récemment installé Dropbox et je voulais avoir gedit-backups
dans mon dossier Dropbox plutôt que dans ~/home/user
. Et je préférais que mon horodatage soit %Y%m%d%H%M%S
plutôt que %Y_%m_%d-%H_%M_%S
.
Pour effectuer ces deux changements, modifiez ~/.local/share/gedit/plugins/doublesave.py
.
-
créer un dossier appelé gedit-backups
à l'endroit souhaité
-
ouvrir gedit, et décocher le plugin Doublesave
-
quitter gedit
-
supprimer ~/.local/share/gedit/plugins/doublesave.pyc
-
edit ~/.local/share/gedit/plugins/doublesave.py
-
changement homedir = os.path.expanduser("~")+"/gedit-backups/"
à ce qui est requis. J'utilise homedir = os.path.expanduser("~")+"/Dropbox/gedit-backups/"
-
modifiez l'horodatage si nécessaire. J'ai changé "%Y_%m_%d-%H_%M_%S"
a "%Y%m%d%H%M%S"
-
enregistrer le fichier
-
rouvrir gedit et réinstaller le plugin Doublesave.