[plt-dev] moving the Chicago mirror

On Feb 19, Robby Findler wrote:
> On Thu, Feb 19, 2009 at 2:44 PM, Eli Barzilay <eli at barzilay.org> wrote:
> > Everything should be updated now, and I did some more changes to
> > the iplt tree with your email too.  You may want to have a quick
> > grep to see the leftover uchicago places.
> 
> I found two occurrences in web/old/search/labels.ss, but I don't
> know how those are used.

They're used to generate the search labels things -- for example, the
search boxes at http://plt-scheme.org/map.html .  But I'm not sure
that there's need for them anymore.  (It's on the list of things to do
when converting the old style pages to the new one.)


> > (BTW, I thought that it wasn't there because I'm so used to using
> > the Indexes option...)
> 
> Yeah, they don't seem to like that here. It can be annoying.

Perhaps they allow users' .htaccess files to have

  Options Indexes

(I usually just put

  Options Indexes FollowSymLinks ExecCGI

in these files, with the philosophy of "I know what I'm doing".)

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                  http://www.barzilay.org/                 Maze is Life!