Clarifying the documentation of `pijul remove`

pmeunier

Jul 4, 2021, 9:20 PM

B5KF2I66GIYNQRJ5WLZRYQ3NQ4AKAUXQWXOW2ZTZBJ7BKOJAQRKAC

Dependencies

• [2] VB4XORVF Short-form commands for `move`, `list` and `remove` Re-introduce the short-form commands for `mv` and `ls` and for good measure `rm` (for `remove`).
• [3] JWTT77WJ Add help on subcommands
• [4] 62XVBWPY remove redundant Clap attributes
• [5] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).
• [6] KQMYXYTS Fix typo

Change contents

• replacement in pijul/src/main.rs at line 82
  [3.98]→[3.0:50](∅→∅)
  − /// Removes a file from the tree and pristine
  [3.98]

  [2.54]
  + /// Removes a file from the tree of tracked files (`pijul record`

  + /// will then record this as a deletion).