Issues with rm and rmdir

[Mark Phillips]

I have busybox running Ubuntu on a Samsung tablet (https://userland.tech/).
I have git setup to retrieve some of my code repositories. I tried a git
clone with an typo in the name of the repository, so none of the code was
downloaded, but git did create a directory foo with a .git directory
underneath it. I managed to download the correct repository after fixing
the typo.

However, I cannot remove the directory foo. I have tried

rm -r -f -d foo/
rmdir foo/
git rm -rf foo/

I even tried sudo rm.... and that did not work.

The error message in all cases is
rm: cannot remove 'foo'/.git: Directory is not empty.

However, there is nothing in the foo/.git directory.

I tried the all same commands on foo/.git, with the same results.

Am I missing something?

Thanks!

Mark
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.busybox.net/pipermail/busybox/attachments/20180909/c113ca3e/attachment.html>