Crear un GIF animado con ImageMagick, el editor de imágenes de la línea de comandos, es bien sencillo. Como materia prima para la animación tendremos un grupo de imagenes; cada uno de los fotogramas de la animación será una imagen, que tiene que estar en formato GIF.
Script de bash para buscar una cadena de caracteres en una lista de archivos. for [variable] in [expresion regular]; do echo $[variable]; grep --color=always '[cadena]' $[variable] ;done Por ejemplo, for i in *.php; do echo $i; grep --color=always 'unas palabras' $i ;done busca en todos los archivos php que encuentre en la ubicación actual la […]
