# HG changeset patch
# User HackBot
# Date 1397564048 0
# Node ID 5a4571b62410e0c8a403fd5ae7170f68f1cb7013
# Parent  63d71a52609b80a8c1997f3374eba85f74f15ee8
<oerjan> cp bin/{,raw-}url; sed -i \'s/raw-//\' bin/url

diff -r 63d71a52609b -r 5a4571b62410 bin/raw-url
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/raw-url	Tue Apr 15 12:14:08 2014 +0000
@@ -0,0 +1,7 @@
+#!/usr/bin/env python
+import sys, urllib
+if len(sys.argv) <= 1:
+    print "http://codu.org/projects/hackbot/fshg/"
+else:
+    print ("http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/" +
+        urllib.quote(sys.argv[1]))
diff -r 63d71a52609b -r 5a4571b62410 bin/url
--- a/bin/url	Tue Apr 15 11:46:12 2014 +0000
+++ b/bin/url	Tue Apr 15 12:14:08 2014 +0000
@@ -3,5 +3,5 @@
 if len(sys.argv) <= 1:
     print "http://codu.org/projects/hackbot/fshg/"
 else:
-    print ("http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/" +
+    print ("http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/" +
         urllib.quote(sys.argv[1]))