wok /grub2/stuff/
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 patches/
|
drwxr-xr-x | |
 etc-default-grub
|
1611 | -rw-r--r-- |
|
example-grub.cfg
|
715 | -rw-r--r-- |
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
|
patches/
|
drwxr-xr-x | |
|
etc-default-grub
|
1611 | -rw-r--r-- |
|
example-grub.cfg
|
715 | -rw-r--r-- |