annotate bin/url @ 6912:f6cfe22a201c

<lifthrasiir> ` (echo \'#!/bin/sh\'; echo \'echo Nice try.\') > bin/man && chmod a+x bin/man
author HackBot
date Fri, 19 Feb 2016 06:08:34 +0000
parents 56dcce63901b
children e5e09208e894
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5643
56dcce63901b <tswett> revert
HackBot
parents:
diff changeset
1 #!/usr/bin/env python
56dcce63901b <tswett> revert
HackBot
parents:
diff changeset
2 import sys, os.path, re, urllib
56dcce63901b <tswett> revert
HackBot
parents:
diff changeset
3 if len(sys.argv) <= 1:
56dcce63901b <tswett> revert
HackBot
parents:
diff changeset
4 print "http://codu.org/projects/hackbot/fshg/"
56dcce63901b <tswett> revert
HackBot
parents:
diff changeset
5 else:
56dcce63901b <tswett> revert
HackBot
parents:
diff changeset
6 f = os.path.abspath(sys.argv[1])
56dcce63901b <tswett> revert
HackBot
parents:
diff changeset
7 f = re.sub(r"^/+hackenv/", "", f)
56dcce63901b <tswett> revert
HackBot
parents:
diff changeset
8 if re.match(r"/|\.hg(?:/|$)",f):
56dcce63901b <tswett> revert
HackBot
parents:
diff changeset
9 sys.exit("File is outside web-viewable filesystem repository.")
56dcce63901b <tswett> revert
HackBot
parents:
diff changeset
10 else:
56dcce63901b <tswett> revert
HackBot
parents:
diff changeset
11 print ("http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/" +
56dcce63901b <tswett> revert
HackBot
parents:
diff changeset
12 urllib.quote(f))