nicht angemeldet
echo $begrüßung;
Es würde mich auch wundern, wenn es eine Änderungsmöglichkeit seitens des Users gäbe.
Das wiederum würde mich nicht wundern. Betriebssysteme bieten meist die Möglichkeit, wenigstens die Blinkgeschwindigkeit einzustellen.
Manche Texteditoren können auch das Aussehen des Cursors beeinflussen (um beispielsweise den Überschreibmodus gegenüber dem Einfügemodus anders darzustellen). Inwieweit sie dazu Systemfunktionen benutzen oder zu schmutzigen Tricks greifen entzieht sich meiner Kenntnis.
(Mir ist keine bekannt.)
Zugegeben, eine direkte Beeinflussbarkeit im Browser ist mir auch noch nicht über den Weg gelaufen.
echo "$verabschiedung $name";