Mercurial > repo
view bin/edit @ 11995:4de59c4fd0bd draft
<arseniiv> addquote <shachaf> The domain is public, but what\'s the codomain?
author | HackEso <hackeso@esolangs.org> |
---|---|
date | Thu, 31 Oct 2019 10:47:36 +0000 |
parents | 04a136d6150e |
children |
line wrap: on
line source
#!/usr/bin/env python import sys, os.path, re, urllib if len(sys.argv) < 2: sys.exit('https://hack.esolangs.org/edit/') f = os.path.realpath(sys.argv[1]) f = re.sub(r"^/+hackenv/", "", f) if re.match(r"/|\.hg(?:/|ignore$|$)",f): sys.exit("File is not editable.") print 'https://hack.esolangs.org/edit/' + urllib.quote(f)