[Ubuntu-BR] Bash
Jose Geraldo Gouvea
jggouvea em gmail.com
Quarta Fevereiro 17 00:23:40 UTC 2010
Olá,
eu estou tentando criar um script bash para automatizar a instalação de
fontes true type no pdfTeX (eu já sei fazer todo o processo manualmente,
mas é muito tedioso, daí o script).
preciso de ajuda para completar o procedimento, pois não consegui fazer
a inserção das ligaturas usando sed nem awk (espero que alguém aqui seja
esperto nesses programas porque eu não sei nem o básico direito).
o caso é o seguinte: eu preciso que o meu script shell (que já faz n
outras coisas) localize no arquivo font.pl um trecho como esse:
(FONTDIMEN
(SLANT R 0.0)
(SPACE R 0.25)
(STRETCH R 0.3)
(SHRINK R 0.1)
(XHEIGHT R 0.4)
(QUAD R 1.0)
)
(CHARACTER O 0
e insira conteúdo exatamente na linha anterior àquela em que aparece a
primeira ocorrência de "CHARACTER" (string que ocorre centenas de vezes
ao longo do arquivo).
observe que o grupo "FONTDIMEN" pode ter quantidade variável de linhas
e que há outras linhas que podem ou não ocorrer antes dele (se quiserem
ver como é um arquivo .pl executem "tftopl" em algum arquivo .tfm da sua
instalação do TeX.
esse conteúdo que eu quero inserir tem várias linhas, por isso eu o
estou guardando em um arquivo.
Colocando em "pseudo-portugol" para ficar fácil para entender a lógica:
LER ARQUIVO.PL
AO ENCONTRAR "CHARACTER" PELA PRIMEIRA VEZ
RECUAR À LINHA ANTERIOR
INSERIR LINHA EM BRANCO
INSERIR LITERALMENTE ARQUIVO COMANDOS.TXT
INSERIR LINHA EM BRANCO
SALVAR ARQUIVO.PL MODIFICADO.
Alguém pode me dar uma mão nessa?
More information about the ubuntu-br
mailing list