Marko's questions

Tenho vários arquivos de texto contendo valores como este:

width = 64
height = 128
position_x = 48
position_y = 48

Gostaria de analisar esses arquivos e multiplicar esses valores por 2, produzindo um arquivo como este:

width = 128
height = 256
position_x = 96
position_y = 96

É possível fazer um script para isso? Quais comandos posso usar para encontrar substituir esses números?

Tentei usar o comando "at" para parar e iniciar o servidor em um determinado momento, mas por algum motivo o script foi executado imediatamente. Eu tentei diferentes maneiras de fazer isso, mas sempre funcionava. O que estou fazendo errado? Tentei fazer assim:

./stop | at 03:52 092421

e assim:

./start | at 04:00 tommorow