Aqui estão meus dois centavos sobre isso:
Você pode tentar alterar o nome da distribuição, mas seja cuidadoso . Se você alterar algo errado, poderá encontrar problemas durante a instalação ou mais tarde, quando for utilizá-lo. Mas se o seu absolutamente precisa mudá-lo, aqui está 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 é isto:
Abra o arquivo ISO (ISO Master) e vá para a pasta chamada .disk. Existe um arquivo chamado info. O nome da versão está lá e pode ser alterado. veja este post.
Isso deve mudar o nome da sua distribuição.
Se isso não funcionar, você pode alterar os seguintes arquivos:
NOTA: a localização pode mudar dependendo da versão que você está usando e o arquivo pode não ser encontrado também
- /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 / failsafeXinit
- /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!