setenv INFORMIXDIR /informixdb/informix setenv ONCONFIG onconfig.prod1 setenv INFORMIXSERVER ledaAchtung: Am 13. März 1995 wurde der Name des Informix-Servers geändert, und zwar in leda. Der alte - etwas unglücklich gewählte - Name informix_se darf nicht mehr verwendet werden!
Im Suchpfad der Shell
set path = ( ... )muß
/informixdb/informix/binstehen, und zwar vor den INGRES-Directories, sonst werden die INGRES-Tools (z.B. isql) anstatt der INFORMIX-Tools aufgerufen!
Ein .cshrc, daß fuer die Verwendung von INFORMIX nur leicht geändert werden muß, steht auf der faui63 unter /usr/skel/.cshrc!
Ein spezieller Benutzereintrag für INFORMIX ist nicht nötig, jeder User mit Unix-Account auf der faui63 kann mit INFORMIX arbeiten.
Zu INFORMIX ist ein HTML-Dokument mit Frequently Asked Questions vorhanden.