Potential bug when delete folders

[NanZhangNaN]

Failed to delete a folder manually (by mouse)
Error message: Delete Failed Directory /home/jovyan/binder example2 not empty (although the folder is empty)

• If the folder is created directly in LEAP Pangeo, it can be deleted successfully.
• If the folder is cloned from GitHub, it would show the above error message when I tried to delete it manually.
  Alternatively way: delete the folder by shutil.rmtree()

[rabernat]

Are you sure the folder is empty? It might have hidden files. To see hidden files, you need to run

ls -a folder

[NanZhangNaN]

Make sense. Thank you!