Aqui estão meus dois centavos sobre isso:
Você pode tentar alterar o nome da distribuição, mas tenha cuidado , se alterar algo errado, poderá encontrar problemas durante a instalação ou mais tarde quando a usar. Mas se for absolutamente necessário alterá-lo, veja o que você pode tentar:
Os dois que você forneceu estão corretos (você também pode atualizar o /etc/issue.net apenas para ter certeza). A outra coisa que você pode fazer é:
Abra o arquivo ISO (ISO Master) e vá para a pasta chamada .disk. Existe um arquivo chamado info. O nome do release está lá e pode ser alterado. veja esta postagem.
Isso deve alterar o nome da sua distribuição.
Se isso não funcionar, você pode alterar os seguintes arquivos:
NOTA: o local pode mudar dependendo da versão que você está usando e o arquivo também não foi encontrado
- /boot/grub/grub.cfg
- /etc/grub.d/00_header
- /etc/grub.d/05_debian_theme
- / usr / share / yelp / (todos os arquivos e todas as subpastas)
- / var / run / motd
- / etc / motd
- /etc/update-motd.d/10-help-text
- / lib / init / rw / motd
- / etc / gdm / failafeXinit
- /etc/samba/smb.conf
- /usr/share/gnome-about/gnome-version.xml
- /usr/share/pyshared/usbcreator/install.py
- / usr / bin / grub-mkrescue
- /usr/lib/grub/i386-pc/config.h
- /usr/sbin/grub-install.real
- / usr / sbin / grub-mkconfig
- / usr / sbin / grub-mknetdir
- / usr / sbin / grub-reboot
- / usr / sbin / grub-set-default
boa sorte!