diff options
author | Teddy Wing | 2018-04-11 03:24:56 +0200 |
---|---|---|
committer | Teddy Wing | 2018-04-11 03:24:56 +0200 |
commit | 1fb58ecb804e64874f33d9e25d8f04d9cfe2b9a6 (patch) | |
tree | 46b3bf0edf28aac0b30da8999e7216a70c70fcaf | |
parent | cd2f969272a8ad95c1da19e8e6a7fa4b5f201f08 (diff) | |
download | w3m-session-backup-1fb58ecb804e64874f33d9e25d8f04d9cfe2b9a6.tar.bz2 |
Add seconds to default filename timestamp
Helps to allow us to create multiple files. If multiple sessions are
saved in the span of a minute, only the last session file for the minute
is really persisted. This extends the chances of saving separate backup
files.
-rw-r--r-- | w3m-session-backup.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/w3m-session-backup.el b/w3m-session-backup.el index 89f74dd..8735fb2 100644 --- a/w3m-session-backup.el +++ b/w3m-session-backup.el @@ -59,6 +59,6 @@ (defun filename () "Generates a default filename using the current date & time." (format "w3m-tabs-%s.yml" - (format-time-string "%Y%m%d-%Hh%M"))) + (format-time-string "%Y%m%d-%Hh%Mm%S"))) (save-backup) |