Information for file /usr/bin/grub-editenv
Name | /usr/bin/grub-editenv |
---|---|
Digest (sha256) | 46da3e95b0f1ce06af080538e14f08e0d6d7368becf6e2d28c45f707565e9574 |
Size | 455152 |
Modification time | Fri, 27 Sep 2024 15:15:19 CEST |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | grub-tools-1:2.06-4.0.2.1.xcpng8.3.x86_64.rpm |