From 8ebda06c063c9715cbbac1a4ba736aa2d4c8e6dc Mon Sep 17 00:00:00 2001 From: "https://www.google.com/accounts/o8/id?id=AItOawmdbVIGiDH8KarAGAy8y2FHJD_F990JzXI" Date: Sat, 26 Apr 2014 16:55:24 +0000 Subject: [PATCH] --- doc/forum/misctmp_filling_up.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/forum/misctmp_filling_up.mdwn b/doc/forum/misctmp_filling_up.mdwn index e5e9edf960..a633760c97 100644 --- a/doc/forum/misctmp_filling_up.mdwn +++ b/doc/forum/misctmp_filling_up.mdwn @@ -4,7 +4,7 @@ There is a total of 12198 of them (4.0TB... yes this repo is quite big ;)). Each of those has the content of individual annexed files (about 300-400MB targzipped files). Sometimes they are hard liked to each other, up to 8 copies. -Since I have copied+dropped the whole repo content to other repos, there should be nothing left locally. I have verified several of those files, are they indeed are located elsewhere, and not "here". +Since I have copied+dropped the whole repo content to other repos, there should be nothing left locally. I have verified several of those files (the annexed files which are identical to the misctmp/* files), are they indeed are located elsewhere, and not "here". So I was wondering if it is safe to remove them, and why are they not listed by git annex unused?