awk 사용해서 매겨변수를 받아 오는 방법에 대한 질문입니다.

안녕하세요

데이타가
#시간 값
1 10
2 20
3 30
...

이런식으로 있는 경우 시작과 끝시간을 매개변수로 받아서 각 값을 출력하려고 합니다.

      1 #!/usr/bin/awk
      2 BEGIN{
      3     for (i = 1; i < ARGC; i++) {
      5         if (i==2)
      6             Start= ARGV[i]
      7         else if (i==3)
      8             End = ARGV[i]
      9     }
     10 }
     11 $1 == Start { print $0 }
     12 $1 == End { print $0 }

즉,

awk -f ~/mybin/getvalue work/out.out 10.0 11.0

이렇게 실행한 경우

10.00 981
11.00 1101
awk: can't open file 10.0
 input record number 500, file 10.0
 source line number 12

이런식으로 10.0, 12.0 하는 파일을 읽으려고 하는군요.

처음 BEGIN의 for루프에 delete ARGV[i]하면

각각의 변수를 Start, End에 넣었지만 검색이 안되더군요.

어떻게 해결방법이 없을까요?