Fix: remove bashism
tree8d6d31a967f477a7893bf0f9890776b721c3c62d
drwxr-xr-x - docutils
drwxr-xr-x - prest
drwxr-xr-x - sandbox
drwxr-xr-x - web