--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/url	Sun Sep 25 20:31:46 2016 +0000
@@ -0,0 +1,12 @@
+#!/usr/bin/env python
+import sys, os.path, re, urllib
+if len(sys.argv) <= 1:
+    print "http://codu.org/projects/hackbot/fshg/"
+else:
+    f = os.path.abspath(sys.argv[1])
+    f = re.sub(r"^/+hackenv/", "", f)
+    if re.match(r"/|(?:\.hg|tmp)(?:/|$)",f):
+        sys.exit("File is outside web-viewable filesystem repository.")
+    else:
+        print ("http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/" +
+            urllib.quote(f))