!! +exec+ +var+ +file+ +adm+
tit:listfile
type:$type_both; $type_adm
alias:listfiles, filelist, ls, dir
syntax:!listfile ``filespec''
mean:list files specified in ``filespec''. Options to Linux command ``ls'' are accepted. \
  The base directory is the base of the wims server. So if you want to list files \
  in the current module, type <pre>!listfile &#36;module_dir</pre>
