| File manager - /usr/lib/grub/ | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
||||||||||
| Filename | Size | Date | Rights | Manage | |||
|---|---|---|---|---|---|---|---|
| . | 2023-10-09 17:56:52 | ||||||
| .. | 2025-10-15 06:36:50 | ||||||
| i386-pc | 2023-10-09 17:56:51 | drwxr-xr-x | Delete | Rename | Compress zip | Compress .tar.gz | |
| grub-mkconfig_lib | 9996 | 2023-10-02 14:11:34 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |