Início / coding / Perguntas / 76980350
Accepted
JVGen
Asked: 2023-08-26 04:27:42 +0800 CST

Alterar nome do arquivo no Pipe [duplicado]

  • 772

Eu tenho um loop for que aceita um arquivo com um tipo de extensão, mas o comando final no pipe requer que o arquivo STDIN tenha uma extensão de outro tipo. No meu pipe eu costumo awkalterar o tipo de arquivo para que fique formatado corretamente para o comando final, mas a extensão ainda está vinculada ao arquivo de entrada inicial.

Por exemplo:

for file in *.AAA
do
commandA $file | awk ' { print } ' | commandB

Um uso típico do comandoB:

commandB -i myfile.BBB

Existe uma maneira de alterar a extensão de um arquivo no meio de um for loop & pipe?

shell

1 respostas

  1. Best Answer

    Eu acho que você pode alterar a extensão de um arquivo no meio de um loop for e pipe. Como você pode ver, ${file%.*}é um truque legal que basicamente remove a extensão do arquivo ( *.AAA) do nome do arquivo original e, em seguida, adiciono a .BBBextensão para criar o novo nome do arquivo, que eu chamo new_file, e ainda por cima, passo esse arquivo modificado para commandBcom a -iopção!

    for file in *.AAA
do
    new_file="${file%.*}.BBB"  #change the extension to .BBB
    commandA "$file" | awk '{ print }' | commandB -i "$new_file"

    ou você pode usar a substituição de processo, então eu uso sedpara alterar a extensão do arquivo de .AAApara .BBBno nome do arquivo e, em seguida, passo esse nome de arquivo modificado sofisticado para commandBusar algo chamado substituição de processo, que trata a saída do comando como um arquivo temporário:

    for file in *.AAA; do
    commandA "$file" | awk '{ print }' | commandB -i <(commandA "$file" | awk '{ print }' | sed 's/\.AAA$/.BBB/')
done
    • 0

relate perguntas