**Caution**

If you remove a directory that still holds files there is no way to retrieve it.

To avoid this ...

Always use the rm command together with the -i option.

   rm -ir directory_name

This site maintained by webmaster@softlab.ece.ntua.gr