8 votes

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

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

Si ce n'est pas le cas, existe-t-il un hack pour réaliser la même chose ?

L'utilité de cette fonction est que les noms de fichiers sont uniques par défaut et qu'il est facile de les retrouver par la suite.

Danke

8voto

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

    • 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)
  • 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.

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

X