Very Computer

I have file:

aaaaa
bbbbbb
cccccccc
dddddd
.....
begin of blok
....
end of blok
...
eeee
ffffffff

I need file:
begin of blok
....
end of blok

Thanks

All I can think of is

# 10000 chosen at random
cat <file> | grep -A 10000 "begin of blok" | grep -B 10000 "end of blok"

or

FIRST_LINE=`grep -n "begin of blok" <file> | cut -f1 -d':'`
LAST_LINE=`grep -n "end of blok" <file> | cut -f1 -d':'`
DIFF=`expr ${LAST_LINE} - ${FIRST_LINE}`
cat <file> | head -${LAST_LINE} | tail -${DIFF}

Hope that helps.
Graeme

awk '/begin of blok/,/end of blok/ {print}' filename

| Hi,
|
| I have file:
|
| aaaaa
| bbbbbb
| cccccccc
| dddddd
| .....
| begin of blok
| ....
| end of blok
| ...
| eeee
| ffffffff
|
|
| I need file:
| begin of blok
| ....
| end of blok

Example:

  $ cat foo
  foo
  bar
  baz
  BEGIN
  ...
  ...
  ...
  ...
  END
  qaz
  wsx
  zxc
  $ sed -n '/BEGIN/,/END/p' foo
  BEGIN
  ...
  ...
  ...
  ...
  END
  $

--

    $ sed -n '/^begin of blok$/,/^end of blok$/w newfile' file

Using `awk' this will do it:

    $ awk '/^begin of blok$/,/^end of blok$/{print > "newfile"}' file

---Robert

_____________________________

 >
 > Hi,
 >
 > I have file:
 >
 > aaaaa
 > bbbbbb
 > cccccccc
 > dddddd
 > .....
 > begin of blok
 > ....
 > end of blok
 > ...
 > eeee
 > ffffffff
 >
 > I need file:
 > begin of blok
 > ....
 > end of blok
 >
 > Thanks