Mercurial > repo
annotate bin/edit @ 12273:de2990eb5cdf draft
<kspalaiologos> `` rm /hackenv/bin/bfasm
author | HackEso <hackeso@esolangs.org> |
---|---|
date | Tue, 31 Dec 2019 17:45:31 +0000 |
parents | 04a136d6150e |
children |
rev | line source |
---|---|
10308
520f4f114d5d
<shachaf> fetch bin/edit http://slbkbs.org:5196/get?path=%2Fhackenv%2Fbin%2Fedit
HackBot
parents:
10307
diff
changeset
|
1 #!/usr/bin/env python |
520f4f114d5d
<shachaf> fetch bin/edit http://slbkbs.org:5196/get?path=%2Fhackenv%2Fbin%2Fedit
HackBot
parents:
10307
diff
changeset
|
2 |
10318
8c93629c5394
<fizzie> fetch bin/edit http://hackego.esolangs.org/get/bin/edit
HackBot
parents:
10308
diff
changeset
|
3 import sys, os.path, re, urllib |
10308
520f4f114d5d
<shachaf> fetch bin/edit http://slbkbs.org:5196/get?path=%2Fhackenv%2Fbin%2Fedit
HackBot
parents:
10307
diff
changeset
|
4 |
520f4f114d5d
<shachaf> fetch bin/edit http://slbkbs.org:5196/get?path=%2Fhackenv%2Fbin%2Fedit
HackBot
parents:
10307
diff
changeset
|
5 if len(sys.argv) < 2: |
11494
04a136d6150e
<fizzie> fetch bin/edit https://hack.esolangs.org/get/bin/edit
HackEso <hackeso@esolangs.org>
parents:
11241
diff
changeset
|
6 sys.exit('https://hack.esolangs.org/edit/') |
10308
520f4f114d5d
<shachaf> fetch bin/edit http://slbkbs.org:5196/get?path=%2Fhackenv%2Fbin%2Fedit
HackBot
parents:
10307
diff
changeset
|
7 |
10318
8c93629c5394
<fizzie> fetch bin/edit http://hackego.esolangs.org/get/bin/edit
HackBot
parents:
10308
diff
changeset
|
8 f = os.path.realpath(sys.argv[1]) |
8c93629c5394
<fizzie> fetch bin/edit http://hackego.esolangs.org/get/bin/edit
HackBot
parents:
10308
diff
changeset
|
9 f = re.sub(r"^/+hackenv/", "", f) |
8c93629c5394
<fizzie> fetch bin/edit http://hackego.esolangs.org/get/bin/edit
HackBot
parents:
10308
diff
changeset
|
10 if re.match(r"/|\.hg(?:/|ignore$|$)",f): |
8c93629c5394
<fizzie> fetch bin/edit http://hackego.esolangs.org/get/bin/edit
HackBot
parents:
10308
diff
changeset
|
11 sys.exit("File is not editable.") |
11494
04a136d6150e
<fizzie> fetch bin/edit https://hack.esolangs.org/get/bin/edit
HackEso <hackeso@esolangs.org>
parents:
11241
diff
changeset
|
12 print 'https://hack.esolangs.org/edit/' + urllib.quote(f) |