© |
Dror Bar-Natan:
Random Page:
About
What? Clicking "Random Page"
sends you to a random page within my web site.
Why? Mostly for my own internal purposes, to allow me to
note bugs in parts of my web site that I would ordinarily rarely
visit.
How? index.html reads a file, list.js, containing a list of all the html and pdf
files under /~drorbn/, along with their
"relative weights". It then chooses randomly between showing a
random
page from my
wiki (12%),
a random page from the
knot atlas (20%),
a random
page from Math
1300Y/427S - Topology (1%),
a random
page from my Blackboard Shots
(1.5%),
or a properly-weighted random page from within list.js (65.5%). In itself, list.js is made using the following
makefile and the perl script filter.pl, which are run in a directory that contains
a symbolic link named "web" to /~drorbn/. That
directory also contains a (short) list of exclusions in a file "Excludes"
which is not made available here.
Some Stats. As of Mon, 01 Sep 2008 13:01:34 -0400,
the main part of my web site (pages beginning with http://www.math.toronto.edu/~drorbn/)
contains
- 9903 files with extension .gif.
- 4631 files with extension .html.
- 3946 files with extension .jpg.
- 420 files with extension .png.
- 314 files with extension .pdf.
- 224 files with extension .JPG.
- 180 files with extension .css.
- 79 files with extension .class.
- 76 files with extension .ps.
- 71 files with extension .java.
- 48 files with extension .gz.
|
45 files with extension .htm.
19 files with extension .txt.
16 files with extension .dvi.
15 files with extension .m.
15 files with extension .nb.
15 files with extension .js.
11 files with extension .jar.
11 files with extension .zip.
7 files with extension .uu.
7 files with extension .tex.
6 files with extension .pl.
|
4 files with extension .fig.
4 files with extension .jvd.
4 files with extension .GIF.
4 files with extension .jvx.
4 files with extension .sty.
3 files with extension .php.
3 files with extension .old.
2 files with extension .c.
2 files with extension .dtd.
2 files with extension .odt.
2 files with extension .htaccess.
|
1 file with extension .sed.
1 file with extension .bmp.
1 file with extension .mf.
1 file with extension .f2m-opts.
1 file with extension .C.
1 file with extension .mpeg.
1 file with extension .otx.
14 files with no extension.
A total of 20114 files in 503 directories.
|