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