[AWK] creare + file da uno

[yashi79]

mi servirebbe un semplice script che facesse ciò:

prende il file tmp.txt
ciclo for per copiarne 75 righe alla volta (for i=0; i <=750; i+75)
salva in tmp.1.txt

[^TiGeRShArK^]

Per forza in awk?
con python sarebbe qualcosa di questo tipo così ad occhio:

counter = 1
input = open('temp.txt', 'r')
output = open('temp.' + str(counter) + '.txt', 'w')
i = 1
for line in f:
    output.write(line)
    if i mod 75 == 0:
        counter = counter + 1
        output = open('temp.' + str(counter) + '.txt', 'w')
    i = i + 1

..e mò passa cesare e mi spezza le ditine.

P.S. ma a quando a quando sono su msn tu non ti fai vedere?