dshoreman / servidor

A modern web application for managing servers

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Support deletion of files and folders

dshoreman opened this issue · comments

If a user is deleted and they have a home directory, it does not get removed at the same time. This in turn causes errors in the file manager when browsing to /home.

Once the bug (possibly being the old owner no longer existing) is fixed, we need a way to delete these directories and their contents so that the user can be cleanly recreated.

Technically the original description of this issue is now solved, since we can delete the home directory as an option when deleting a user account. It would still be nice to delete other directories though, so I'll leave this open for now.