stockholm/krebs/5pkgs/Reaktor/scripts/sed-plugin.py

67 lines
1.9 KiB
Python
Raw Normal View History

2015-12-08 17:05:46 +00:00
#!/usr/bin/env python3
# Usage:
2015-12-08 18:38:19 +00:00
# _from=krebs state_dir=. python sed-plugin.py 'dick butt'
# _from=krebs state_dir=. python sed-plugin.py 's/t/l/g'
2015-12-08 17:05:46 +00:00
## dick bull
import shelve
from os import environ
from os.path import join
from sys import argv
2015-12-08 18:38:19 +00:00
d = shelve.open(join(environ['state_dir'],'sed-plugin.shelve'),writeback=True)
usr = environ['_from']
2015-12-08 17:05:46 +00:00
import re
def is_regex(line):
myre = re.compile(r'^s/((?:\\/|[^/])+)/((?:\\/|[^/])*)/([ig]*)$')
return myre.match(line)
line = argv[1]
m = is_regex(line)
if m:
f,t,flagstr = m.groups()
2015-12-08 17:26:08 +00:00
fn = f.replace('\/','/')
tn = t.replace('\/','/')
2015-12-08 17:05:46 +00:00
flags = 0
count = 1
if flagstr:
if 'i' in flagstr:
flags = re.IGNORECASE
if 'g' in flagstr:
count = 0
2015-12-08 17:26:08 +00:00
else:
flagstr = ''
2015-12-08 18:38:19 +00:00
last = d.get(usr,None)
2015-12-08 17:05:46 +00:00
if last:
2015-12-08 17:26:08 +00:00
from subprocess import Popen,PIPE
2016-11-08 15:48:58 +00:00
import shutil
from os.path import realpath
# sed only needs stdin/stdout, we protect state_dir with this
# input to read/write arbitrary files:
# s/.\/\/; w /tmp/i (props to waldi)
# conclusion: sed is untrusted and we handle it like this
p = Popen(['proot',
# '-v','1',
'-w','/', # cwd is root
'-b','/nix/store', # mount important folders
'-b','/usr',
'-b','/bin',
'-r','/var/empty', # chroot to /var/empty
realpath(shutil.which('sed')),
's/{}/{}/{}'.format(f,t,flagstr)],stdin=PIPE,stdout=PIPE )
2015-12-08 18:38:19 +00:00
so,se = p.communicate(bytes("{}\n".format(last),"UTF-8"))
2015-12-08 17:26:08 +00:00
if p.returncode:
2015-12-08 18:38:19 +00:00
print("something went wrong when trying to process your regex: {}".format(se.decode()))
ret = so.decode()
print("\x1b[1m{}\x1b[0m meinte: {}".format(usr,ret.strip()))
if ret:
d[usr] = ret
2015-12-08 17:26:08 +00:00
2015-12-08 17:05:46 +00:00
else:
print("no last message")
else:
2015-12-08 18:38:19 +00:00
d[usr] = line
2015-12-08 17:05:46 +00:00
d.close()