whs

#!/bin/bash
if [ "$1" = "" -o "$2" = "" ]; then
	echo "mkhardsub file.mkv out.mkv"
	exit 1
fi
# -ass-force-style FontName=supermarket,Default
mplayer -nosound -benchmark "$1" -ass -fontconfig -ass-font-scale 1.2 -vf scale=854:480 -sid 0 -vo yuv4mpeg:file=>(x264 --crf 20 --preset ultrafast --level 30 --vbv-bufsize 10000 --vbv-maxrate 16000 --threads auto --output /tmp/mkhardsub.mkv --demuxer y4m -)
ffmpeg -i /tmp/mkhardsub.mkv -i "$1" -vcodec copy -map 0:0 -map 1:a:0 $2
#rm /tmp/mkhardsub.mkv

willurd

Each of these commands will run an ad hoc http static server in your current (or specified) directory, available at http://localhost:8000. Use this power wisely.

Discussion on reddit.

Python 2.x

$ python -m SimpleHTTPServer 8000

Python1320

--setfenv(1,_G)
local meta={}
local co=setmetatable({},meta)
_G.co=co

-- todo
--	error handler wrapper?
--	select() polling support (epoll() please :c)
--	co.make steal parameters
--	?