Parent5446 / web-bash

A functional terminal in your browser
GNU General Public License v3.0
5 stars 0 forks source link

rm will delete directories as well as files #28

Closed Parent5446 closed 11 years ago

Parent5446 commented 11 years ago

rm currently deletes anything, because the API doesn't care. rm should check if it's a directory, and refuse to delete it without the -r command. Also, there should be rmdir to remove empty directories.