Blue Hat

As my laptop booted up and the words Red Hat scrolled past, Sarah said, “Daddy, can you make that say Blue Hat next time?”

I found this in rc.sysinit:

[ "$BOOTUP" = "color" ] && echo -en $"33[0;31m"
 echo -en "Red Hat"
 [ "$BOOTUP" = "color" ] && echo -en $"33[0;39m"
 PRODUCT=`sed "s/Red Hat (.*) release.*/1/" /etc/redhat-release`
 echo " $PRODUCT"

Now I’m just trying to figure out what the color codes are.