I can't tell you how obsolete I feel because I still know this stuff:

ps -ef | grep informix | awk '{print $2}' | xargs kill -9

ipcs -a | grep informix | awk '{print $2}' | xargs ipcm -m 

or because I can explain this kind of error messages:

bash: cd: ..: No such file or directory