Eu tenho o código
file="JetConst_reco_allconst_4j2t.png"
if [[ $file == *_gen_* ]];
then
echo "True"
else
echo "False"
fi
Eu testo se file contém "gen". A saída é "False". Nice!
O problema é quando eu substituo "gen" por uma...
Em python
re.sub(r"(?<=.)(?=(?:...)+$)", ",", stroke )
Para dividir um número por trios, por exemplo:
echo 123456789 | python -c 'import sys;import re; print re.sub(r"(?<=.)(?=(?:...)+$)", ",", sys.stdin.read());'
123,456,78...
Por exemplo verifique se $PWD é um subdiretório de / home. Em outras palavras, estou procurando uma operação de string bash para verificar se uma string começa com outra.
É muito fácil usar split() em JavaScript para dividir uma string em uma matriz.
E o script de shell?
Digamos que eu queira fazer isso:
$ script.sh var1_var2_var3
Quando o usuário fornecer essa string var1_var2_var3 para o sc...
Tenho que verificar o comprimento da variável read (meu limite de script para cinco dos caracteres inseridos), penso em algo como isto:
#!/bin/bash
read string
check=${#string}
echo $check
if [ $check -ge 5 ]; then echo "error" ; exit
else ec...
No bash, suponha que eu tenha uma string strname :
strname="ph7go04325r"
Eu gostaria de extrair os caracteres entre o caractere primeiro "3" e o caractere último "r" em strname , salvando o resultado em uma string% código%....
Eu tenho este script de shell salvo em um arquivo: ele faz alguma substituição básica de string.
#!/bin/sh
html_file=$1
echo "html_file = $html_file"
substr=.pdf
pdf_file="${html_file/.html/.pdf}"
echo "pdf_file = $pdf_file"
Se eu colá-lo...
Estou tentando usar grep e cut para extrair URLs de um arquivo HTML. Os links parecem:
<a href="http://examplewebsite.com/">
Outros sites têm .net , .gov , mas suponho que posso fazer o ponto de corte antes de > . Então eu...
Existem muitas maneiras de substituir caracteres em uma variável.
O caminho mais curto que descobri é tr até agora:
OUTPUT=a\'b\"c\'d_123and_a_lot_more
OUTPUT=$(echo "$OUTPUT"|tr -d "'\'\"")
echo $OUTPUT
Existe um caminho mais ráp...