| Name | /usr/bin/grub2-editenv |
|---|---|
| Digest (sha256) | f1e0e8edacb3b8b5e0a8997fff57e37b7c7daf17956c29cafc57d3bc69f8b407 |
| Size | 416.56 KB |
| Modification time | Tue, 24 Jan 2023 20:59:03 CST |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | grub2-tools-minimal-1:2.06-75.fc37.riscv64.rpm |