Jawaban:
Ada plugin yang tersedia yang akan melakukan pekerjaan.
doublesave.plugindan doublesave.pyuntuk ~/.local/share/gedit/plugins. Jika folder tidak ada, Anda harus membuatnya. ~/gedit-backupskarena file cadangan akan disimpan di sini. Mulai sekarang, setiap kali Anda menyimpan file di gedit saat bekerja, cadangan cap waktu dibuat ~/gedit-backups.
Dimungkinkan juga untuk mengubah beberapa hal. Misalnya, saya baru saja menginstal Dropbox dan ingin memilikinya gedit-backupsdi folder Dropbox saya daripada di ~/home/user. Dan saya lebih suka cap waktu saya %Y%m%d%H%M%Sdaripada %Y_%m_%d-%H_%M_%S.
Untuk melakukan kedua perubahan itu, edit ~/.local/share/gedit/plugins/doublesave.py.
gedit-backupsdi lokasi yang diinginkan~/.local/share/gedit/plugins/doublesave.pycsunting ~/.local/share/gedit/plugins/doublesave.py
mencari
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)
homedir = os.path.expanduser("~")+"/gedit-backups/"ke apa yang dibutuhkan. saya menggunakanhomedir = os.path.expanduser("~")+"/Dropbox/gedit-backups/""%Y_%m_%d-%H_%M_%S"menjadi"%Y%m%d%H%M%S"