echo $begrüßung;
Es gibt also keine Möglichkeit, auf einer Linuxmaschine zu erfahren, welche Distri verwendet wird, ausser, du überprüfst Distri-Spezifische Dinge auf ihre vorhandenheit/gültigkeit.
Naja, es geht schon.
Ich nehme mal an, du hast nicht nachgesehen, wie phpsysinfo an die Information des Distributionsnamen gelangt.
distros.ini
/includes/os/class.Linux.inc.php
-> foreach-Schleife(n) im Konstruktor (function sysinfo())
-> if (file_exists(dateiname aus distros.ini))
distro = Name der Distribution aus distro.ini
echo "$verabschiedung $name";