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