Oto moje dwa centy na ten temat:
Możesz spróbować zmienić nazwę dystrybucji, ale bądź ostrożny , jeśli zmienisz coś źle, możesz napotkać problemy podczas instalacji lub później, kiedy będziesz z niej korzystać. Ale jeśli absolutnie musisz to zmienić, możesz spróbować:
Dwa podane przez Ciebie są poprawne (możesz również zaktualizować /etc/issue.net). Inną rzeczą, którą możesz zrobić, to:
Otwórz plik ISO (ISO Master) i przejdź do folderu o nazwie .disk. Jest tam plik o nazwie info. Nazwa wydania jest dostępna i można ją zmienić. zobacz ten post.
To powinno zmienić nazwę twojej dystrybucji.
Jeśli to nie zadziała, możesz zmienić następujące pliki:
UWAGA: lokalizacja może ulec zmianie w zależności od używanej wersji i plik może również nie zostać znaleziony
- /boot/grub/grub.cfg
- /etc/grub.d/00_header
- /etc/grub.d/05_debian_theme
- / usr / share / yelp / (wszystkie pliki i wszystkie podfoldery)
- / var / run / motd
- / etc / motd
- /etc/update-motd.d/10-help-text
- / lib / init / rw / motd
- / etc / gdm / failedafeXinit
- /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
powodzenia!