If an existing file is moved to a new directory that is deleted before the record, record the deletion
[?]
Dec 3, 2020, 8:37 AM
VXZNQQHCDC6MBLUMNDJVPM4I7XWTDYBPZZNCPZCA6EJ3GS5WAQGQCDependencies
- [2]
SXEYMYF7Fixing the bad changes in history (unfortunately, by rebooting). - [3]
I52XSRUHMassive cleanup, and simplification - [4]
R3H7D42UDebugging `pijul git`: proper error reporting
Change contents
- replacement in libpijul/src/record.rs at line 407
txn.get_revtree(inode, None).is_none()if let Some(path) = crate::fs::inode_filename(txn, inode) {working_copy.file_metadata(&path).is_err()} else {true}