Linux/Unix Shell Scripting - Modificar un archivo

hoa a todos, tengo el siguiente problema:
en un archivo de configuracion, tengo guardados diferentes valores de configuracion, y uno de ellos es, por ejemplo, la cantidad de veces un usuario ejecuto un comando

nombre_comando:12

mi duda es como puedo hacer para obtener ese "12", sumarle 1 y q el archivo quede actualizado?

(el usuario ejecuta nombre_comando)

la linea del archivo queda

nombre_comando:13

espero q se haya entendido, muchas gracias!

Puedes hacer algo como:

egrep '.*:[0-9]' fichero

para obtener las lineas del estilo:

comando:12

Una vez que tengas eso, con un

cut -f2 -d:

obtienes el número en cuestión y lo metes en una variable.

Luego utilizando $(()) haces la operación. Algo como:

$(($var+1))

Finalmente con el sed puedes hacer algo como:

sed -e s/comando1:$var/comando1:$(($var+1))/ fichero

Y claro, todo esto se puede hacer super bonito en una sola linea :)

Espero que te sirva

Salu2

muchas gracias por la ayuda n0str0m0!

Tengo una nueva consulta para hacer, ¿cómo puedo hacer para editar un archivo que esta en una máquina remota, a la que te logueas con el mismo usuario y la misma clave que tiene el usuario que está ejecutando?

Gracias
Saludos!

Sí, es una posibilidad.

Puedes usar ssh, rsh o si tu red es confiable telnet.

Salu2