Come abilitare i file di salvataggio automatico di Gedit con il nome della data e ora del sistema corrente


8

Voglio che Gedit salvi automaticamente i file, con il nome predefinito con la data e l'ora del sistema corrente . È possibile?

In caso contrario, è un hack per ottenere lo stesso?

L'uso di questa funzione è che i nomi dei file sono unici per impostazione predefinita e sono facili da trovare in un secondo momento.

Grazie

Risposte:


8

È disponibile un plug-in che farà il lavoro.

  • Scarica "doublesave.zip" da qui .
  • Estrai i contenuti e copia doublesave.plugine doublesave.pysu ~/.local/share/gedit/plugins. Se la cartella non esiste, dovrai crearla.
  • Crea anche ~/gedit-backupsperché i file di backup verranno archiviati qui.
    Apri gedit e abilita il plug-in Doublesave: seleziona Modifica ▸ Preferenze ▸ Plug-in of [Nome del plug-in] per abilitare il plug-in.

D'ora in poi, ogni volta che salverai un file in gedit mentre lavori, viene creato un backup con data e ora ~/gedit-backups.


È anche possibile modificare alcune cose. Ad esempio, ho recentemente installato Dropbox e volevo averlo gedit-backupsnella mia cartella Dropbox anziché in ~/home/user. E ho preferito che il mio timestamp fosse %Y%m%d%H%M%Spiuttosto che %Y_%m_%d-%H_%M_%S.

Per apportare entrambe queste modifiche, modifica ~/.local/share/gedit/plugins/doublesave.py.

  • creare una cartella chiamata gedit-backupsnella posizione desiderata
  • apri gedit e deseleziona il plugin Doublesave
  • esci da gedit
  • Elimina ~/.local/share/gedit/plugins/doublesave.pyc
  • modificare ~/.local/share/gedit/plugins/doublesave.py

    • cercare

      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)
      
  • passare homedir = os.path.expanduser("~")+"/gedit-backups/"a ciò che è richiesto. Io usohomedir = os.path.expanduser("~")+"/Dropbox/gedit-backups/"
  • modificare il timestamp secondo necessità. Ho cambiato "%Y_%m_%d-%H_%M_%S"in"%Y%m%d%H%M%S"
  • salva il file
  • riaprire gedit e reinstallare il plug-in Doublesave.

1
@pajju, ho modificato la risposta con un po 'più di roba.
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.