This file is indexed.

/usr/sbin/grub-set-default is in grub-legacy-ec2 0.7.5-0ubuntu1.18.

This file is owned by root:root, with mode 0o755.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
#!/bin/sh

diverted=/usr/sbin/grub-set-default.real
legacy_ec2=/usr/sbin/grub-set-default-legacy-ec2
normal=/usr/sbin/grub-set-default

warn() { echo "WARNING:" "$@" 1>&2; }
Usage() {
   cat <<EOF
${0} is a wrapper provided by grub-legacy-ec2.
It ensures that the appropriate 'set-default' is called.
For specific version or help info invoke one of the following directly:
  ${diverted}
 and 
  ${legacy_ec2} 
EOF
}

[ $# -eq 0 ] && { Usage; exit 1; }
for a in "$@"; do
   case "$a" in
      --help|-h|-v|--version) Usage; exit 0;;
   esac
done

"${legacy_ec2}" "${@}"
lret=$?
[ ${lret} -eq 0 ] || warn "${legacy_ec2} returned ${lret}"

dret=0
if [ -x "${diverted}" -a -f "/boot/grub/grub.cfg" ]; then
   "${diverted}" "$@"
   dret=$?
fi
[ ${dret} -eq 0 ] || warn "${diverted} returned ${dret}"

[ $lret -eq 0 -a $dret -eq 0 ]
exit