/repo: bin/url annotate

annotate bin/url @ 10372:f04f06041b47

<oerjan> ` echo hum>test; echo erm>test2

author	HackBot
date	Tue, 07 Mar 2017 23:22:53 +0000
parents	a145f334de50
children	31fc0eb7ea45

rev	line source
9075 c989a1669243 <fizzie> revert 58b9ee8f97a7 HackBot parents: diff changeset	1 #!/usr/bin/env python
c989a1669243 <fizzie> revert 58b9ee8f97a7 HackBot parents: diff changeset	2 import sys, os.path, re, urllib
c989a1669243 <fizzie> revert 58b9ee8f97a7 HackBot parents: diff changeset	3 if len(sys.argv) <= 1:
10315 a145f334de50 <fizzie> sled bin/url//s,www2.codu.org/projects/hackbot,hackego.esolangs.org,;s,codu.org/projects/hackbot,hackego.esolangs.org, HackBot parents: 10283 diff changeset	4 print "http://hackego.esolangs.org/fshg/"
9075 c989a1669243 <fizzie> revert 58b9ee8f97a7 HackBot parents: diff changeset	5 else:
c989a1669243 <fizzie> revert 58b9ee8f97a7 HackBot parents: diff changeset	6 f = os.path.abspath(sys.argv[1])
c989a1669243 <fizzie> revert 58b9ee8f97a7 HackBot parents: diff changeset	7 f = re.sub(r"^/+hackenv/", "", f)
10283 7c07682dcc25 <oerjan> sled bin/url//s,[\|].hg,\|\\\\.hg, HackBot parents: 10282 diff changeset	8 if re.match(r"/\|\.hg(?:/\|$)",f):
9075 c989a1669243 <fizzie> revert 58b9ee8f97a7 HackBot parents: diff changeset	9 sys.exit("File is outside web-viewable filesystem repository.")
10281 76a97128bd0c <fizzie> ` sed -i -e \'s#/(?:#(?:/#\' bin/url HackBot parents: 10280 diff changeset	10 elif re.match(r"tmp(?:/\|$)",f):
10315 a145f334de50 <fizzie> sled bin/url//s,www2.codu.org/projects/hackbot,hackego.esolangs.org,;s,codu.org/projects/hackbot,hackego.esolangs.org, HackBot parents: 10283 diff changeset	11 print ("http://hackego.esolangs.org/" + urllib.quote(f))
9075 c989a1669243 <fizzie> revert 58b9ee8f97a7 HackBot parents: diff changeset	12 else:
10315 a145f334de50 <fizzie> sled bin/url//s,www2.codu.org/projects/hackbot,hackego.esolangs.org,;s,codu.org/projects/hackbot,hackego.esolangs.org, HackBot parents: 10283 diff changeset	13 print ("http://hackego.esolangs.org/fshg/index.cgi/file/tip/" +
9075 c989a1669243 <fizzie> revert 58b9ee8f97a7 HackBot parents: diff changeset	14 urllib.quote(f))