Re: '#' in file url

Jorge wrote:
> On Wed, Nov 07, 2012 at 05:41:12PM +0000, corvid wrote:
> > Jorge wrote:
> > > On Wed, Nov 07, 2012 at 03:20:20AM +0000, corvid wrote:
> > > > 
> > > > I had two files with '#' in their names that I wanted to view --
> > > > file#1.png and file#2.png -- and dillo showed me the same file in
> > > > each tab.
> > > 
> > >   That's because '#' is not a valid character inside a URL.
> > [snip]
> > >   i.e. anything after '#' is a 'fragment'.
> > > 
> > >   and BTW, that's why the file dpi escapes '#' as '%23' to be able
> > > to show the file.
> > 
> > Right, it may be %23 at some point in its journey, but it's back to
> > '#' eventually -- and breaks.
> 
>   I tried:
> 
>     $ echo "hello" > /tmp/a#b
>     $ dillo /tmp
>     <click on the file link>
> 
>   and it works.

If you make two files, a#1 and a#2, then run
dillo a#1 a#2
you won't be shown two different files.