ref: 1017c54c78841a955fe87aa1cb6d0256d5ac8fce
dir: /rc/bin/patch/remove/
#!/bin/rc
rfork e
if(~ $#* 0){
	echo 'usage: patch/remove patch-name...' >[1=2]
	exit usage
}
if(! test -d /n/sources/patch){
	rfork n
	9fs sources
}
for(i){
	if(! test -d /n/sources/patch/$i)
		echo 'no such patch' /n/sources/patch/$i >[1=2]
	if not
		rm -rf /n/sources/patch/$i
}