[Ubuntu-BR] /etc/grub.d/05_debian_theme

[Nayane Lima - GMail]

Oi pessoal, preciso tirar uma dúvida com relação a este arquivo 
*05_debian_theme*

Este arquivo é obrigatório?

Pergunto porque estou desenvolvendo um programa e queria verificar se 
este arquivo existe, se for obrigatório não preciso verificar a 
existência dele, vou direto ao que interessa, por exemplo, se algum 
usuário apagar este arquivo, dá pau no Ubuntu?
Se o arquivo não existir o que acontece na inicialização?

sou grata pela informação.

Nayane Lima