Eu gostaria de substituir o conteúdo entre $ Elements $ e $ EndElements $ no arquivo de texto f1, com os dados de outro arquivo, f2.
O conteúdo de f1 é dado simplesmente por
$Elements$
3
1
5
7
$EndElements$
E o conteúdo de f2 é dado como
1 65 71
2 32 87
3 39 98
4 41 63
O que eu gostaria de obter no final é:
$Elements$
1 65 71
2 32 87
3 39 98
4 41 63
$EndElements$
Para isso eu tentei algum código sed de páginas stackexchange (bem eu copiei o código e não tenho mais a janela aberta então não posso fornecer o link direto, desculpe)
lead='^\$Elements\$$'
tail='^\$EndElements\$$'
# f2 is the file where the information
# to replace is kept in
sed -e "/$lead/,/$tail/{ /$lead/{p; r insert_file
> }; /$tail/p; d }" f2
que não funciona, basicamente não fazendo nada.
Eu não sou um guru de linha de comando, mas usei sed em busca e substituição simples. Tentei encontrar a resposta, mas não tive muita sorte até este ponto.