Hier sind meine zwei Cent dazu:
Sie können versuchen, den Namen der Distribution zu ändern, aber seien Sie vorsichtig , wenn Sie etwas falsches ändern, können Probleme bei der Installation oder später bei der Verwendung auftreten. Aber wenn Sie es unbedingt ändern müssen, können Sie Folgendes versuchen:
Die beiden von Ihnen angegebenen Werte sind korrekt (Sie können /etc/issue.net auch aktualisieren, nur um sicherzugehen). Das andere, was Sie tun können, ist Folgendes:
Öffnen Sie die ISO (ISO Master) -Datei und wechseln Sie in den Ordner mit der Bezeichnung .disk. Darin befindet sich eine Datei namens info. Der Release-Name ist dort und kann geändert werden. Diesen Beitrag anzeigen.
Dies sollte den Namen Ihrer Distribution ändern.
Wenn das nicht funktioniert, können Sie die folgenden Dateien ändern:
HINWEIS: Der Speicherort kann sich je nach verwendeter Version ändern und die Datei wird möglicherweise nicht gefunden
- /boot/grub/grub.cfg
- /etc/grub.d/00_header
- /etc/grub.d/05_debian_theme
- / usr / share / yelp / (alle Dateien & alle Unterordner)
- / 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
Viel Glück!