4.2.6. rmdir — remove empty directory

Use rmdir followed by the name of the directory you would like to remove:

rmdir Workspace

Attention

This directory must be empty before it can be removed.

There should be no other files or directories within that directory.