Corrige nombres unix
rename -v 's/[^\x00-\x7F]|\?|\://g' *
Corrige el nombre de los ficheros Unix para que no den problemas si se copian en sistemas de ficheros Windows
rename -v 's/[^\x00-\x7F]|\?|\://g' *
Corrige el nombre de los ficheros Unix para que no den problemas si se copian en sistemas de ficheros Windows
grep -m 1 -oE ‘([0-9]{1,3}\.){3}[0-9]{1,3}’
Para renombrar un fichero: #!/bin/bash # Renombra el fichero según las etiquetas mp3, de la forma: NºCanción-Título TITLE="`id3info "$1" | grep ‘^=== TIT2’ | sed -e ‘s/.*: //g’`" #ARTIST="`id3info "$1" | grep ‘^=== TPE1’ | sed -e ‘s/.*: //g’`" #ALBUM="`id3info "$1" | grep ‘^=== TALB’ | sed -e ‘s/.*: //g’`" #YEAR="`id3info "$1" | grep ‘^===…
#!/bin/bash # Genera una estructura html a partir de ficheros md (markdown) # 1. Genera la estructura de directorios # 2. Construye los html # 3. Genera un fichero índice con un enlace a todos los documentos OUTPUT=HTML if [ ! -d $OUTPUT ]; then mkdir $OUTPUT fi files=($(find ./ -type f -name ‘*.md’)) for…
convert -density 300 musica.pdf musica.png Necesita imagemagic y ghostscript. Genera una imagen con cada página del pdf
find -type f -exec grep -l "texto_busqueda" {} + y si queremos que la búsqueda sea exacta (por palabras) find -type f -exec grep -lw "texto_busqueda" {} +
find . -name "*.jar" |xargs grep -il NombreClase