这是我对此事的个人意见:
你可以尝试更改发行版的名称,但要小心,如果更改错误,安装或使用时可能会遇到问题。但如果你确实需要更改,可以尝试以下方法:
你提供的两种方法是正确的(你也可以更新/etc/issue.net以确保)。另外一件事你可以做的是:
打开ISO(ISO Master)文件,进入名为.disk的文件夹。在那里有一个名为info的文件,发行版的名称就在那里,可以进行更改。
查看此帖子。
这样应该能够更改你的发行版名称。
如果这不起作用,你可以更改以下文件:
注意:根据你使用的版本,位置可能会有所变化,文件也可能找不到。
/boot/grub/grub.cfg
/etc/grub.d/00_header
/etc/grub.d/05_debian_theme
/usr/share/yelp/(所有文件和所有子文件夹)
/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
祝你好运!