docker-scripts Handy scripts for running e.g. language servers in docker. Lots of duplication in the scripts, but right now that is the simple thing to do.