Preguntas etiquetadas con bash

16
Cambiar fuente en comando echo

¿Es posible cambiar los atributos de fuente de la salida de echo en zsh o bash? Lo que me gustaría es algo parecido a: echo -n "This is the font: normal " echo -n $font=italic "italic," echo -n $font=bold "bold," echo -n "and" echo -n $font=small "small". para que imprima: "Esta es la fuente:...

16
Evitar errores debido al asterisco no expandido

En bash, a menudo uso for-loops como el siguiente for file in *.type; do sommecommand "$file"; done; para realizar una operación para todos los archivos que coinciden *.type. Si no se encuentra ningún archivo con este final en los directorios de trabajo, el asterisco no se expande y, por lo...

16
bash_history: comenta los comandos peligrosos: `#`

Para evitar el registro de comandos "peligrosos" en el historial de bash, he agregado la siguiente línea a mi .bashrcarchivo: HISTIGNORE='rm *:mv *:cp *:cat*>*:pv*>*' esto funciona bien, pero tiene un efecto secundario: no puedo ver el historial completo de los comandos ejecutados en una...

16
Bash: solicitud remota interactiva

Tengo un script que se conecta a un servidor remoto y verifico si algún paquete está instalado: ssh root@server 'bash -s' < myscript.sh myscript.sh: OUT=`rpm -qa | grep ntpdate` if [ "$OUT" != "" ] ; then echo "ntpdate already installed" else yum install $1 fi Este ejemplo podría...