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 | Mon, 19 Feb 2024 10:10:00 CST |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags |
configuration |
RPM | grub2-tools-2.06-8.ocs23.aarch64.rpm |