#!/usr/bin/env bash
set -u
echo "Plymouth: $(plymouth-set-default-theme 2>/dev/null || echo unavailable)"
echo "Theme files: $([ -f /usr/share/plymouth/themes/brz-healthos/brz-healthos.plymouth ] && echo present || echo missing)"
echo "GRUB distributor: $(sed -n 's/^GRUB_DISTRIBUTOR=//p' /etc/default/grub.d/99-brz-healthos.cfg 2>/dev/null || echo unset)"
[ -d /sys/firmware/acpi/bgrt ] && echo 'UEFI BGRT: exposed (BRZ theme does not use it)' || echo 'UEFI BGRT: not exposed'
echo 'Firmware logos shown before GRUB are outside operating-system control.'
