Für eine GUI statt Terminal ist es Tinker Tool SYSTEM (nicht das einfache Tinker Tool). -- Und: Danke für den Tip! n/t