#!/bin/sh echo name $(pwd)/$1 | 9p write acme/${winid}/ctl echo clean | 9p write acme/${winid}/ctl echo get | 9p write acme/${winid}/ctl