Comment activer les fichiers d'enregistrement automatique Gedit avec le nom de la date et de l'heure du système actuel


8

Je veux que Gedit enregistre automatiquement les fichiers, par le nom par défaut avec la date et l'heure du système actuel . Est-ce possible?

Sinon, y a-t-il un hack pour obtenir le même résultat?

L'utilisation de cette fonctionnalité est que les noms de fichiers sont uniques par défaut et faciles à trouver pour plus tard.

Merci

Réponses:


8

Il existe un plugin qui fera le travail.

  • Téléchargez "doublesave.zip" à partir d' ici .
  • Extraire le contenu et copier doublesave.pluginet doublesave.pyvers ~/.local/share/gedit/plugins. Si le dossier n'existe pas, vous devrez le créer.
  • Créez également ~/gedit-backupscar les fichiers de sauvegarde seront stockés ici.
    Ouvrez gedit et activez le plugin Doublesave: sélectionnez Édition ▸ Préférences ▸ Plugins ▸ [Nom du 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 l'avoir gedit-backupsdans mon dossier Dropbox plutôt que dans ~/home/user. Et j'ai préféré que mon horodatage soit %Y%m%d%H%M%Splutôt que %Y_%m_%d-%H_%M_%S.

Pour apporter ces deux modifications, modifiez ~/.local/share/gedit/plugins/doublesave.py.

  • créer un dossier appelé gedit-backupsà l'emplacement souhaité
  • ouvrez gedit et décochez le plugin Doublesave
  • quitter gedit
  • supprimer ~/.local/share/gedit/plugins/doublesave.pyc
  • Éditer ~/.local/share/gedit/plugins/doublesave.py

    • chercher

      homedir = os.path.expanduser("~")+"/gedit-backups/"
      commands.getoutput("mkdir "+homedir)
      
      name = doc.get_short_name_for_display()
      
      timestamp = datetime.now().strftime("%Y_%m_%d-%H_%M_%S")
      
      ext = ".bak"
      newFileName =  name+"-" + timestamp + ext
      newpath = "\""+homedir + newFileName+"\""
      command = "cp \""+source+"\" "+ newpath
      print command
      commands.getoutput(command)
      commands.getoutput("chmod -w "+newpath)
      
  • modifier homedir = os.path.expanduser("~")+"/gedit-backups/"ce qui est requis. j'utilisehomedir = os.path.expanduser("~")+"/Dropbox/gedit-backups/"
  • modifiez l'horodatage selon vos besoins. J'ai changé "%Y_%m_%d-%H_%M_%S"pour"%Y%m%d%H%M%S"
  • enregistrez le fichier
  • rouvrez gedit et réinstallez le plugin Doublesave.

1
@pajju, j'ai édité la réponse avec un peu plus de choses.
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.