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:17 CST |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags |
configuration |
| RPM | grub2-tools-2.06-7.ocs23.x86_64.rpm |
