sorry for the late response ... was still travelling.
On Sat, Apr 04, 2009 at 02:33:58PM +0100, Tomas Hlavaty wrote:
> The trouble here is that the feed is not utf but iso-8859-1:
> <?xml version="1.0" encoding="iso-8859-1"?>
> might be in the picolisp distribution already, I saw some tools
> looking like that).
Correct. There is "bin/utf2".
This name is a bit strange. It means that this tool does not support
full three-byte UTF-8 chars, but only two-byte values representing
iso8859-1 characters. A kind of quick hack for local applications :-(
"bin/utf2" is a filter, converting iso8859-1 to UTF-8. The output goes
to stdout, making it suitable for (in '("bin/utf2" ..) ..).
A very convenient feature is that "bin/utf2" can open another pipe by
itself, when a command is supplied (indicated by a leading hyphen).
So, the current problem could be handled as:
(in '("bin/utf2" "-wget" "-q" "-O" "-"
(Note the '-' before 'wget')
There is also a complimentary tools "bin/lat1" which converts in the