Generar número aleatorio
# Devuelve un número aleatorio entre 1 y 100
echo $[ ( $RANDOM % 100 ) + 1 ]
# Devuelve un número aleatorio entre 1 y 100
echo $[ ( $RANDOM % 100 ) + 1 ]
#!/bin/bash echo "Cleaning logs over $1 days old" find /log_dir -ctime "$1" -name ‘*log’ -exec rm {} \;
Se tiene el fichero: haciendo awk ‘{for(i=1;i<=NF;i++){print $i}}’ file5.txt > file5_new.txt se tiene:
ls -R | grep : | sed -e ‘s/:$//’ -e ‘s/[^-][^\/]*\//–/g’ -e ‘s/^/ /’ -e ‘s/-/|/’
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 ‘^===…
find . -name "*.jar" |xargs grep -il NombreClase
Partiendo del fichero si hacemos cat file5_new.txt | tr ‘\n’ ‘ ‘ | awk ‘{$1=$1}1’ FS=" " OFS="\t" > file5_restore.txt obtenemos