## tmp

A tmp directory is required for the interface of the Shell library.