回答:
仕事をする利用可能なプラグインがあります。
doublesave.plugin
とdoublesave.py
します~/.local/share/gedit/plugins
。フォルダが存在しない場合は、作成する必要があります。 ~/gedit-backups
、バックアップファイルがここに保存されるため、作成します。これ以降、作業中にgeditでファイルを保存するたびに、タイムスタンプ付きのバックアップがで作成され~/gedit-backups
ます。
いくつかのことを調整することも可能です。たとえば、最近Dropboxをインストールgedit-backups
し、Dropboxフォルダーではなく、Dropboxフォルダーに入れたいと思っています~/home/user
。そして、私はタイムスタンプを%Y%m%d%H%M%S
ではなくに設定しました%Y_%m_%d-%H_%M_%S
。
これらの両方の変更を行うには、を編集します~/.local/share/gedit/plugins/doublesave.py
。
gedit-backups
目的の場所にというフォルダを作成します~/.local/share/gedit/plugins/doublesave.pyc
編集する ~/.local/share/gedit/plugins/doublesave.py
探す
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/"
必要なものに変更します。私が使うhomedir = os.path.expanduser("~")+"/Dropbox/gedit-backups/"
"%Y_%m_%d-%H_%M_%S"
た"%Y%m%d%H%M%S"