Hi guys,

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" "-" 
      (till) )

(Note the '-' before 'wget')

There is also a complimentary tools "bin/lat1" which converts in the
opposite direction.

- Alex
UNSUBSCRIBE: mailto:picol...@software-lab.de?subject=unsubscribe

Reply via email to