Sat, 04 May 2024 21:20:53 CEST | login

Information for file /usr/sbin/grub-set-default

Name/usr/sbin/grub-set-default
Digest (sha256)22d6902b2b93fa3305ecfa18572a4ad9d890cbe54e331cd9e40ed38568c0c752
Size3531
Modification timeWed, 29 Nov 2017 17:50:54 CET
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMgrub-tools-1:2.02-2.x86_64.rpm