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