wok-next /grub/stuff/ tip

name size permissions
[up] drwxr-xr-x
dir. patches/ drwxr-xr-x
file example-menu.lst 727 -rw-r--r--
file splash.xpm.gz 28096 -rw-r--r--