view bin/url @ 11754:19a19737d631 draft

<fizzie> mkx bin/whoami//echo -n $IRC_NICK; if [[ "$1" == "-v" && -n "$IRC_IDENT" ]]; then echo -n "!$IRC_IDENT"; if [[ -n "$IRC_HOST" ]]; then echo -n "@$IRC_HOST"; fi; fi; echo
author HackEso <hackeso@esolangs.org>
date Wed, 13 Mar 2019 13:28:42 +0000
parents ff752d36eb0e
children
line wrap: on
line source

#!/usr/bin/env python
import sys, os.path, re, urllib
if len(sys.argv) <= 1:
    print "https://hack.esolangs.org/repo/"
else:
    f = os.path.abspath(sys.argv[1])
    f = re.sub(r"^/+hackenv/", "", f)
    if re.match(r"/|\.hg(?:/|$)",f):
        sys.exit("File is outside web-viewable filesystem repository.")
    elif re.match(r"tmp(?:/|$)",f):
        print ("https://hack.esolangs.org/" + urllib.quote(f))
    else:
        print ("https://hack.esolangs.org/repo/file/tip/" +
            urllib.quote(f))