ref: dd82b657c0a92a5e8f2d3df6c7ca3ae83403ce91
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 }