diff options
Diffstat (limited to 'rc/bin/inst/isventi')
| -rwxr-xr-x | rc/bin/inst/isventi | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/rc/bin/inst/isventi b/rc/bin/inst/isventi new file mode 100755 index 000000000..555c27a7f --- /dev/null +++ b/rc/bin/inst/isventi @@ -0,0 +1,13 @@ +#!/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 + |
