rmdir or rm -r - Githubissues

jvilk / doppio-demo

Demo of the Doppio Runtime System.

MIT License

4 stars 4 forks source link

rmdir or rm -r #11

Closed jvilk closed 9 years ago

perimosocordiae commented 9 years ago

I'll tackle this one.

perimosocordiae commented 9 years ago

Demo now sports an rmdir command, as of a few days ago. BrowserFS doesn't guard against deleting non empty directories, afaict, so we don't need rm -r.