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
VXZNQQHCDC6MBLUMNDJVPM4I7XWTDYBPZZNCPZCA6EJ3GS5WAQGQC

Dependencies

  • [2] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).
  • [3] R3H7D42U Debugging `pijul git`: proper error reporting
  • [4] I52XSRUH Massive cleanup, and simplification

Change contents

  • replacement in libpijul/src/record.rs at line 407
    [2.504146][2.504146:504205]()
    txn.get_revtree(inode, None).is_none()
    [2.504146]
    [2.504205]
    if let Some(path) = crate::fs::inode_filename(txn, inode) {
    working_copy.file_metadata(&path).is_err()
    } else {
    true
    }