+# Configuration de GRUB
+sudo sed -i -e 's!^\(GRUB_CMDLINE_LINUX_DEFAULT=\)"quiet splash"!\1"ipv6.disable=1"!' /etc/default/grub
+sudo sed -i -e 's!^#\(GRUB_DISABLE_LINUX_RECOVERY="true"\)!\1!' /etc/default/grub
+if ! grep "GRUB_DISABLE_OS_PROBER=\"true\"" /etc/default/grub 1> /dev/null 2>&1; then
+ echo 'GRUB_DISABLE_OS_PROBER="true"' | sudo tee --append /etc/default/grub
+fi
+sudo chmod -x /etc/grub.d/20_memtest86+
+# Change theme for custom theme
+if [ -f /etc/grub.d/05_debian_theme ]; then
+ sudo rm /etc/grub.d/05_debian_theme
+fi
+cat << EOF | sudo tee /etc/grub.d/05_hugo_theme
+#! /bin/sh
+set -e
+
+echo "set menu_color_normal=green/black"
+echo "set menu_color_highlight=light-green/black"
+EOF
+sudo chmod +x /etc/grub.d/05_hugo_theme
+sudo update-grub
+
+# localepurge recovers diskspace wasted for unneeded locale files and localized man pages.