grub-theme-settings/locales/ga_IE

lang=ga
bootlang="lang=ga_IE"
def_bootlang="ga_IE"
if [ -z "${keyboard}" ]; then
  def_keyboard="ie"
fi
if [ -z "${timezone}" ]; then
  def_timezone="Europe/Dublin"
fi