Files
zyedidia.micro/internal/config
Zachary Yedidia a8332fd316 Improve backup system
This commit introduces several improvements to the backup system.

* Backups are made every 8 seconds for buffers that have been modified
  since the last backup.

* The `permbackup` option allows users to specify that backups should
  be kept permanently.

* `The backupdir` option allows users to store backups in a custom
   directory.

Fixes #1641
Fixes #1536
Ref #1539 (removes possibility of race condition for backups)
2020-06-22 17:54:56 -04:00
..
2019-12-25 17:05:11 -05:00
2020-02-11 13:09:17 -05:00
2020-02-01 23:54:38 -05:00
2020-02-01 23:54:38 -05:00
2020-05-04 10:16:15 -04:00
2020-06-22 17:54:56 -04:00