diff options
Diffstat (limited to 'rc/bin/inst/isventi')
-rwxr-xr-x | rc/bin/inst/isventi | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/rc/bin/inst/isventi b/rc/bin/inst/isventi deleted file mode 100755 index 555c27a7f..000000000 --- a/rc/bin/inst/isventi +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/rc - -if(! ~ $#* 1){ - echo 'usage: isventi /dev/sdC0/part' >[1=2] - exit usage -} - -arg=$1 -if(! cmp -s <{dd -quiet 1 -if $arg -bs 1024 -iseek 248 | - dd -quiet 1 -bs 13 -count 1} <{echo 'venti config'}) - exit noconfig -exit 0 - |