Sorry, the above command has a typo. The right one is:
sudo patch /usr/share/system-tools-backends-2.0/scripts/Users/Users.pm < fix-deleting-users.patch
(I typed "fix-deleting-user" instead of "fix-deleting-users".)
Sorry, the above command has a typo. The right one is:
sudo patch /usr/share/ system- tools-backends- 2.0/scripts/ Users/Users. pm < fix-deleting- users.patch
(I typed "fix-deleting-user" instead of "fix-deleting- users". )