Publicaciones Similares

  • Cambiar extensión de un grupo de ficheros

    Se cambian todos los ficheros con extensión .MOD de un directorio a extensión .mpeg: for i in *.MOD; do mv "$i" "${i[@]/%MOD/mpeg}"; done Se hace lo mismo, pero recursivamente en los subdirectorios: for i in `ls -r */*.MOD`; do mv -v "$i" "${i[@]/%MOD/mpeg}"; done

  • Machine Learning

    Razonamiento Introducción. Sistemas expertos Un sistema experto es un sistema informático (hardware o software) que simula a expertos humanos en cierta área de especialización dada. Razonamiento aproximado. Tratamiento de la incertidumbre Fuentes de incertidumbre Se pueden clasificar las fuentes de incertidumbre en los siguientes grupos: Deficiencias de la información, características del mundo real, y deficiencias…

  • git

    Git básico Configuración Ver la configuración git config -l Configurar nombre git config –global user.name "Roberto Hernando" Configurar correo git config –global user.email "hervelro@jcyl.es" Comandos básicos Añadir ficheros al repositorio local git add readme.md git add . Subir últimos cambios al repositorio local git commit -m "Comentario" Ver información del repositorio git status Ver los…

  • |

    Bash

    Comandos útiles !! Repite el último comando. !n Repite el comando número n (de history). !$ Último argumento del comando anterior. !:n Argumento número n del comando anterior. Combinaciones de teclas Combinación de teclas Acción Ctrl + A Ir al comienzo de la línea Ctrl+E Ir al final de la línea Ctrl+F Ir al siguiente…

  • 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