changeset 9142:d0c60ac05f54

<oerjan> ` cp bin/{,h}url; sed -i \'11s/file/log/\' bin/hurl
author HackBot
date Sun, 02 Oct 2016 17:24:51 +0000
parents f77bdda22674
children 11d6d483e842
files bin/hurl
diffstat 1 files changed, 12 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/hurl	Sun Oct 02 17:24:51 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/log/tip/" +
+            urllib.quote(f))