view bin/wiki @ 11945:59147378b1a9 draft

<b_jonas> `` sed -i \'s/%N/%3N/\' bin/datei; datei
author HackEso <hackeso@esolangs.org>
date Tue, 17 Sep 2019 22:32:07 +0000
parents 6f89145cd692
children 2c8c313864e7
line wrap: on
line source

#!/usr/bin/env python
import sys, os.path, urllib
if len(sys.argv) <= 1:
    print "https://esolangs.org/"
else:
    f = os.path.abspath(sys.argv[1])
    if f.startswith('/hackenv/'): f = f[9:]
    print ("https://esolangs.org/wiki/" +
        urllib.quote(f))