awk - altera o valor

Question

O arquivo contém

TIMEOUT=abc
TIMEOUT=5
TIMEOUT=
xTIMEOUT=5

Eu preciso mudar de

"TIMEOUT=5" 

para

"TIMEOUT=9"

Este comando funciona.
Mas muda também a 4ª linha, o que não é desejado

awk '$0 ~ "TIMEOUT=[:0-9:]" { $0 = "TIMEOUT=9" } {print}' file

E este comando não muda nada

awk '$0 == "TIMEOUT=[:0-9:]" { $0 = "TIMEOUT=9" } {print}' file

O que devo fazer? OBRIGADO!

    

Answer 1

Isso deve ser feito:

awk '/^TIMEOUT=[:0-9:]/ { $0 = "TIMEOUT=9" } {print}' file

ou ainda mais fácil:

sed 's/^TIMEOUT=[0-9]/TIMEOUT=9/' file