File: day_234__undo_undo.mdwn

package info (click to toggle)
git-annex 7.20190129-3
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 56,292 kB
  • sloc: haskell: 59,105; sh: 1,255; makefile: 225; perl: 136; ansic: 44
file content (6 lines) | stat: -rw-r--r-- 324 bytes parent folder | download | duplicates (8) 
1
2
3
4
5
6
 
Built the `git annex undo` command. This is intended to be a simple
interface for users who have changed one file, and want to undo the change
without the complexities of `git revert` or `git annex proxy`. It's simple
enough that I added undo as an action in the file manager integration.

And yes, you can undo an undo. :)