Eu corro este comando no terminal:
grep "bla bla blah" blah* | echo "Blah: $(wc -l) / $(ls | wc -l) * 100"
E recebo esta saída:
Blah: 44 / 89 * 100
O que eu espero ver:
49.4
Existe uma maneira de obter a saída desejada usand...
Estou tentando depurar o script de outra pessoa:
A linha de código é:
y=$((${oldvalue[$x]}-${newvalue[$x]}))
y é calculado bem, desde que ambos os lados sejam números positivos. No entanto, tenho uma situação de produção em que ambo...
Estou lutando com uma ligeira variação em:
Como calcular tomando o primeiro campo e Como arredondar os números de ponto flutuante no shell?
Eu tenho um arquivo que se parece com (espaço entre colunas):
1533 C_P.doc
691 C_M.doc
905 G_S.d...
Estou tentando mover um subdiretório de um diretório pai para outro por centenas de instâncias, enquanto altero o nome do subdiretório durante a movimentação. Meus diretórios são um conjunto de números:
1000, 1001, 1002, 1003, ..., 1998, 1999...
Eu preciso subtrair duas linhas que estão no formato de tempo no shell.
O formato da hora é hh: mm: ss
Eu usei o código abaixo para ganhar tempo.
cat /var/log/kern.log |grep usb |tail -2| awk '{print $3}'
A saída do código acima é
18:2...
Eu escrevi um script para determinar a média de carga no servidor da seguinte forma:
#!/bin/bash
loadavg='top -b -n1 | grep -i load | awk -F, '{print$4}'| awk -F: '{print $2}''
if [ "${loadavg}" -le 1 ]
then
echo "OK - Load Average = ${loa...
Costumo usar a calculadora awk (gawk):
calc(){ awk "BEGIN{ print $* }" ;}
No Ubuntu 14.04, ele gera grandes números em formato padrão, por exemplo
$ calc 56777654409823*4674990588446667952594759939814064128
2.65435e+50
Mas agora (U...
Eu tenho um número de arquivos png e jpg cujos nomes são números, por exemplo, 0100.png , em um diretório,
Como posso adicionar 1 aos seus nomes, por exemplo, para obter 0002.png e 0003.png de 0001.png e 0002.png , res...