Aquí están mis dos centavos sobre esto:
Puede intentar cambiar el nombre de la distribución, pero tenga cuidado , si cambia algo incorrecto, puede encontrar problemas durante la instalación o más tarde cuando lo usará. Pero si es absolutamente necesario cambiarlo, esto es lo que puede probar:
Los dos que proporcionó son correctos (también puede actualizar /etc/issue.net solo para estar seguro). La otra cosa que puedes hacer es esto:
Abra el archivo ISO (ISO Master) y vaya a la carpeta llamada .disk. En hay un archivo llamado información. El nombre de la versión está ahí y se puede cambiar. ver esta publicación
Esto debería cambiar el nombre de su distribución.
Si eso no funciona, puede cambiar los siguientes archivos:
NOTA: la ubicación puede cambiar según la versión que esté utilizando y es posible que el archivo no se encuentre también
- /boot/grub/grub.cfg
- /etc/grub.d/00_header
- /etc/grub.d/05_debian_theme
- / usr / share / yelp / (todos los archivos y todas las subcarpetas)
- / 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
¡buena suerte!