| Name | /etc/grub.d/10_linux |
|---|---|
| Digest (sha256) | d697a4c7d63ff2be3a2c1fa537b665d50f6df0a2a39ffae63b1af779d4d71b34 |
| Size | 18.88 KB |
| Modification time | Mon, 04 Dec 2023 08:00:00 CST |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags |
configuration |
| RPM | grub2-tools-1:2.06-110.rv64.4.fc39.riscv64.rpm |