Se eu entendi a pergunta corretamente, você basicamente faz
svr_vars 1995051200_72259.txt
e o programa gera uma saída chamada svr_vars.txt
e você deseja que isso seja renomeado para svr.1995051200_72259.txt
Supondo que todos os 300 arquivos começam com um número e terminam em .txt
, você pode fazer um loop semelhante a
#!/bin/bash
for file in [1-9]*.txt
do
svr_vars "$file"
mv svr_vars.txt "svr.$file"
done
Podemos adicionar algumas verificações de integridade a esse loop para fazer com que ele seja abortado se as coisas não funcionarem corretamente. eg
#!/bin/bash
for file in [1-9]*.txt
do
if [ -e "svr.$file" ]
then
echo "$file already processed. skipping"
else
svr_vars "$file"
if [ ! -e svr_vars.txt ]
then
echo "Failed to create results for $file"
else
mv svr_vars.txt "svr.$file"
fi
fi
done