> > > Just to make sure, should I replace /dev/dsp by "ARTS:" in the > frontend settings ? > What's the right syntax for the device name when using ARTS ? Should something follow the string ARTS: ? Esa