Information for file /usr/share/man/man8/grub2-set-default.8.gz
Name | /usr/share/man/man8/grub2-set-default.8.gz |
---|---|
Digest (sha256) | d9fffea82ed682e7a97887f6d6798079e86607ed251a61e8686e31418723c569 |
Size | 655.00 B |
Modification time | Thu, 06 Jun 2024 16:33:09 CST |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | grub2-tools-minimal-2.12-4.ocs23.x86_64.rpm |