Hi,
ich habe das Problem einfach mit dem Shell-Handwerkszeug gelößt,
wenn auch nicht ganz so komfortabel.
Da ich die "bash" der "csh" vorziehe habe ich in die ".profile" Datei im Heimatverzeichnis
des betreffenden Nutzers für solche Dinge einen Alias eingerichtet, um wichtige
Kommandos...