ref: 1eca33b48c25d3ee58691ea8f9d122cdf12a57a6
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 }