Sed é conhecido como Stream Editor, pois pode executar várias funções de filtragem e / ou transformação na entrada padrão ou em arquivos especificados pelo usuário. É comumente usado para pesquisar e substituir em arquivos de texto. Se sua pergunta for sobre processamento de texto, essa tag provavelmente será apropriada
Estou usando o Ubuntu 13.04. Estou tentando instalar o ptxdist-2011.11.0 e quando executo o ./configure , ele diz que não encontra uma versão do sed:
checking sed version... configure: error: we need at least GNU sed 4.x
Mas quando...
23.03.2014 / 10:24
Por que essa linha não faz nada? Eu estou tentando executar um comando "sed" em paralelo e não gera nada para "standard.txt"
$ Filetemp = o arquivo que estou editando em stream
standard.txt = o arquivo que estou enviando para
cat $Filet...
23.06.2014 / 17:59
Eu tenho um monte de arquivos de texto (com extensão .txt) em um diretório no qual eu quero converter todas as letras para maiúsculas. Como posso fazer isso usando o terminal?
Eu tentei:
sed -i 's/[A-Z]/[a-z]/g' *.txt
mas sem sucesso ....
12.01.2014 / 15:34
Eu tenho uma coleção de arquivos de música (~ 200 / batch) que eu preciso marcar no Picard . Os arquivos têm sem metadados e a ferramenta de impressão digital é muito ineficiente (& lt; 50% de precisão média).
No entanto, os títulos sã...
24.10.2015 / 11:43
man sed diz:
-e script, --expression=script
add the script to the commands to be executed
A descrição em gnu.org diz:
'-e SCRIPT'
'--expression=SCRIPT'
Add the commands in SCRIPT to the set of commands to be run while
pro...
11.01.2016 / 17:56
Eu tenho o seguinte.
oid=.1.3.6.1.4.1.795.2.5.0.xxx (these 0.xxx represent any random numeral)
Eu quero fazer o seguinte
echo $oid | sed (some commands to remove 0.xxx)
e armazena a string resultante
.1.3.6.1.4.1.795.2.5
no...
15.06.2015 / 08:59
Eu tenho uma frase que contém um endereço IP. Por exemplo,
This sentence contains an ip number 1.2.3.4 and port number 50, i want to print the IP address only.
A partir da frase acima, quero imprimir apenas o endereço IP. Como posso fazer...
21.11.2014 / 14:55
Eu gostaria de converter
blue blue red green
para:
color.1=blue color.2=blue color.3=red color.4=green
Alguma pista sobre como lidar com isso? sed, awk, etc?
27.03.2015 / 19:02
Eu tenho um arquivo json no qual preciso remover apenas as últimas barras. Veja o exemplo:
{"url":"http://example.com/vary/file/","originalUrl":"http://example.com/vary/file/","applications":[{.........}]}
Eu só quero que os dados sejam p...
07.02.2017 / 11:02
Eu tenho um número de arquivos .conf que são idênticos e estão no mesmo diretório, com a exceção de ter nomes de arquivo diferentes. Em cada arquivo .conf com nome exclusivo, gostaria de substituir um conjunto de caracteres no arquivo pelo...
04.03.2018 / 18:04