_L'ERREUR AFFICHEE:_
sudo update-grub
Sourcing file `/etc/default/grub'
/usr/sbin/grub-mkconfig: 101: /etc/default/grub: If: not found
_TEXTE AVANT & APRES LIGNE 101_
if test $# -eq 0; then
gettext_printf "%s: option requires an argument -- \`%s'\n"
"$self" "$opt" 1>&2
exit 1
fi
echo $1
}
# Check the arguments.
while test $# -gt 0
do
option=$1
shift
case "$option" in
-h | --help)
usage
exit 0 ;;
-V | --version)
echo "$self (${PACKAGE_NAME}) ${PACKAGE_VERSION}"
exit 0 ;;
-o | --output)
grub_cfg=`argument $option "$@"`; shift;;
--output=*)
grub_cfg=`echo "$option" | sed 's/--output=//'`
;;
-*)
gettext_printf "Unrecognized option \`%s'\n" "$option" 1>&2
usage
exit 1
;;
esac <===== LIGNE 101
done
# Explicitly ignore non-option arguments, for compatibility.
if [ "x$EUID" = "x" ] ; then
EUID=`id -u`
fi
=================> Thank you for the correction of the text
