Information for file /etc/grub.d/12_menu_auto_hide
Name | /etc/grub.d/12_menu_auto_hide |
---|---|
Digest (sha256) | d950c569cd0949987d1f167ab8e4bc8f018c9c8f2ede3b6f5dd35c33fa60130f |
Size | 892.00 B |
Modification time | Wed, 20 Sep 2023 09:18:12 CST |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags |
configuration |
RPM | grub2-tools-2.06-5.ocs23.aarch64.rpm |