Hi,
I am trying to use git annex to store some of the files on my laptop on an external drive. However, after running git annex sync --content on both repositories and then trying to run git annex drop <file> doesn't free up any space on the local laptop repository (in fact it doesn't give any terminal output). Can anyone point me in a direction to solve this?
Edit. Wth? Even git annex drop --force doesn't work. Is there some obvious thing I'm missing?
If you pass git-annex the name of a file to operate on, and it does not display the name of that file, the file is probably not an annexed file.
The other possibility would be that the file's content has already been dropped. If git-annex sees there is nothing it needs to do to drop an annexed file, it does not display anything either.
I suggest you run
git annex whereiswith the file. If it does not display anything, it is not an annexed file. If it does display something, it will probably tell you where the content of the file is, since it's not in the local repository.