Abhay Kedia <[EMAIL PROTECTED]> posted [EMAIL PROTECTED], excerpted below, on Tue, 22 Aug 2006 14:53:38 +0530:
> On Monday 21 August 2006 19:53, Olivier CrĂȘte wrote: >> >> You can use ogg123 >> > Some of the files are wav files as well, so I can't play them using > ogg123 and KDE doesn't allow use to use multiple alternate players for > playing its files. FWIW, I've dealt with the problem as well (altho I have arts, its age is showing and it gets broken with some versions of KDE), so I know the frustration. An idea I haven't tried but which popped into my head as I was reading your post... what about creating a simple shell script that looks at the file it's handed and determines whether to call ogg123 or mpg321 or whatever, based on extension or what "file" thinks it is? Fortunately arts and the built-in events player are working for me ATM, but I may try this next time something breaks. ... Looking forward to KDE4 and getting rid of arts! -- Duncan - List replies preferred. No HTML msgs. "Every nonfree program has a lord, a master -- and if you use the program, he is your master." Richard Stallman -- gentoo-dev@gentoo.org mailing list