bash

Cómo concatenar variables de cadena en Bash

En PHP, las cadenas están concatenados de la siguiente manera: $foo = "Hello"; $foo .= " World"; Aquí, $foo se convierte en...

curl de retorno código HTTP 503 cuando se llama desde un script

Estoy tratando de llamar a algunas API de REST y obtener la resultante HTTP de código utilizando curl. Si en una...

¿Cómo puedo timestamp cada ping resultado?

Ping devuelve esto por defecto: 64 bytes from 203.173.50.132: icmp_seq=0 ttl=244 time=57.746 ms Hay alguna manera puedo conseguirlo para añadir la...

«git add» usando comodines no funciona como yo esperaba – debo cd en directorios específicos?

Cuando intento hacer un básico git add *.erb (o cualquier simples expresiones comodín) git no los reconoce (de ellos). Como nota...

Cómo cd en un directorio con el espacio en el nombre?

Estoy tratando de conseguir en el directorio /cygdrive/c/Users/my dir/Documents: $ DOCS="/cygdrive/c/Users/my dir/Documents" $ echo $DOCS /cygdrive/c/Users/my dir/Documents $ cd $DOCS -bash: cd: /cygdrive/c/Users/my: No such...

Cómo prevenir la rm de los informes de los que no se encontró un archivo?

Estoy usando rm dentro de un script en BASH para eliminar muchos archivos. A veces, los archivos no están presentes, por...

La adición de un cero a un solo dígito variable

Tratando de agregar un cero antes de la varaible si es menos de 10 y de crear dicho directorio. Me parece...

si grep valor mayor que 1000, entonces

Quiero grep "priority=" en un archivo donde el valor de "priority=" es mayor que 1000. He intentado algo como esto: if...

Cómo eliminar el último carácter de un grep bash salida

COMPANY_NAME=`cat file.txt | grep "company_name" | cut -d '=' -f 2` salidas de algo como esto "Abc Inc"; Lo que...