Voici mes deux cents à ce sujet:
Vous pouvez essayer de changer le nom de la distribution mais faites attention , si vous changez quelque chose de mal, vous pourriez rencontrer des problèmes lors de l'installation ou plus tard lorsque vous l'utiliserez. Mais si vous avez absolument besoin de le changer, voici ce que vous pouvez essayer:
Les deux que vous avez fournis sont corrects (vous pouvez également mettre à jour /etc/issue.net juste pour être sûr). L'autre chose que vous pouvez faire est la suivante:
Ouvrez le fichier ISO (ISO Master) et accédez au dossier appelé .disk. Il y a un fichier appelé info. Le nom de la version est là et peut être modifié. voir ce post.
Cela devrait changer le nom de votre distribution.
Si cela ne fonctionne pas, vous pouvez modifier les fichiers suivants:
REMARQUE: l'emplacement peut changer en fonction de la version que vous utilisez et le fichier peut également ne pas être trouvé
- /boot/grub/grub.cfg
- /etc/grub.d/00_header
- /etc/grub.d/05_debian_theme
- / usr / share / yelp / (tous les fichiers et tous les sous-dossiers)
- / 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
bonne chance!