From ae129dc3178ec65afc3c17125215700114a7b197 Mon Sep 17 00:00:00 2001 From: Atemu Date: Mon, 31 May 2021 18:42:56 +0000 Subject: [PATCH] --- doc/todo/dead_files_in_checkout_directly.mdwn | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 doc/todo/dead_files_in_checkout_directly.mdwn diff --git a/doc/todo/dead_files_in_checkout_directly.mdwn b/doc/todo/dead_files_in_checkout_directly.mdwn new file mode 100644 index 0000000000..0675796554 --- /dev/null +++ b/doc/todo/dead_files_in_checkout_directly.mdwn @@ -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`).