view bin/edit @ 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 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)