This commit is contained in:
parent
4f49322660
commit
ae129dc317
1 changed files with 3 additions and 0 deletions
3
doc/todo/dead_files_in_checkout_directly.mdwn
Normal file
3
doc/todo/dead_files_in_checkout_directly.mdwn
Normal file
|
@ -0,0 +1,3 @@
|
|||
When you want to dead a file in your checkout, you can only do so via the key of the file. You can find the corresponding key with a bit of bash like this: `git annex dead --key $(basename $(readlink file))` but that shouldn't be necessary IMO.
|
||||
|
||||
It'd be a lot better if you could just dead files like this: `git annex dead --file file` or even like this: `git annex dead --file file1 file2 file3 otherfiles.*` (or maybe even like this: `git annex dead --file file1 file2 --key $key1 $key2`).
|
Loading…
Reference in a new issue