#!/bin/bash # Installe/met a jour le theme GRUB tactile pour triple boot set -e SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)" THEME_SRC="$SCRIPT_DIR/grub-theme" THEME_DEST="/boot/grub/themes/terra" if [ "$EUID" -ne 0 ]; then echo "Ce script doit etre execute en root (sudo)" exit 1 fi if [ ! -d "$THEME_SRC" ]; then echo "Dossier grub-theme non trouve dans $SCRIPT_DIR" exit 1 fi echo "=== Installation du theme GRUB tactile ===" # Copier le theme mkdir -p "$THEME_DEST/icons" cp "$THEME_SRC/theme.txt" "$THEME_DEST/" cp "$THEME_SRC/background.png" "$THEME_DEST/" cp "$THEME_SRC/select_"*.png "$THEME_DEST/" cp "$THEME_SRC/icons/"*.png "$THEME_DEST/icons/" # Installer les polices apt-get install -y -qq fonts-dejavu-core 2>/dev/null || true grub-mkfont -s 18 -o /boot/grub/fonts/DejaVuSans18.pf2 /usr/share/fonts/truetype/dejavu/DejaVuSans.ttf 2>/dev/null || true grub-mkfont -s 24 -o /boot/grub/fonts/DejaVuSansBold24.pf2 /usr/share/fonts/truetype/dejavu/DejaVuSans-Bold.ttf 2>/dev/null || true grub-mkfont -s 36 -o /boot/grub/fonts/DejaVuSansBold36.pf2 /usr/share/fonts/truetype/dejavu/DejaVuSans-Bold.ttf 2>/dev/null || true grub-mkfont -s 42 -o /boot/grub/fonts/DejaVuSansBold42.pf2 /usr/share/fonts/truetype/dejavu/DejaVuSans-Bold.ttf 2>/dev/null || true # Configurer GRUB sed -i '/^GRUB_THEME=/d' /etc/default/grub sed -i '/^GRUB_GFXMODE=/d' /etc/default/grub sed -i '/^GRUB_GFXPAYLOAD_LINUX=/d' /etc/default/grub sed -i 's/^GRUB_TIMEOUT=.*/GRUB_TIMEOUT=-1/' /etc/default/grub cat >> /etc/default/grub <