Information for file /etc/grub.d/10_linux
Name | /etc/grub.d/10_linux |
---|---|
Digest (sha256) | 81042885bcf65915361ae3c716f57272e2560725bf66e11707fabd824f49d0cf |
Size | 18.49 KB |
Modification time | Thu, 19 Oct 2023 17:00:19 CST |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags |
configuration |
RPM | grub2-tools-2.06-7.ocs23.aarch64.rpm |