From 6dcb7b88155d010c2c684c58422464d72a9a7871 Mon Sep 17 00:00:00 2001 From: nobodyinperson Date: Wed, 21 Dec 2022 16:46:44 +0000 Subject: [PATCH] Added a comment: When a weird 'no space left on device' error appears --- ...t_1_088ce57c74a653478e03968e1d6bba23._comment | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 doc/git-annex-repair/comment_1_088ce57c74a653478e03968e1d6bba23._comment diff --git a/doc/git-annex-repair/comment_1_088ce57c74a653478e03968e1d6bba23._comment b/doc/git-annex-repair/comment_1_088ce57c74a653478e03968e1d6bba23._comment new file mode 100644 index 0000000000..339fe0262b --- /dev/null +++ b/doc/git-annex-repair/comment_1_088ce57c74a653478e03968e1d6bba23._comment @@ -0,0 +1,16 @@ +[[!comment format=mdwn + username="nobodyinperson" + avatar="http://cdn.libravatar.org/avatar/736a41cd4988ede057bae805d000f4f5" + subject="When a weird 'no space left on device' error appears" + date="2022-12-21T16:46:44Z" + content=""" +When you run into weird `no space left on device` errors although there clearly **is** enough room on your disk while running `git annex repair`, it probably means that your `/tmp` is too small (You can verify with `watch -n0 df -h` or just `df -h`). You can instruct `git annex repair` to use a different directory for intermediate storage via the `TMPDIR` environment variable: + +```bash +mkdir /path/to/dir/with/enough/space +TMPDIR=/path/to/dir/with/enough/space git annex repair +# Now that new dir is used and the 'no space left on device' error should disappear +``` + +Might be worth adding a note for `TMPDIR` to the `git annex repair` manpage, @joey? +"""]] -- 2.30.2