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