Re: Media prefs

> Well, but your answer was much more detailed and complete :-)

Yeah, completeness take time :-)

> BTW, where is that handy getlibs utility from?

Hm, just a small shell script I found eventually somewhere, can't remember...

getlibs ()
{
if [ -f "$1" ]; then
  objdump --all-headers "$1" | grep NEEDED | awk '{ print $2 }'
fi
}

Was quickly copy-pasted in my .profile file.

- Philippe