Desmontar dispositivo USB Primero hay que asegurarse de que el dispositivo USB en el que vamos a grabar la imagen ISO está desmontado: udisksctl unmount --block-device /dev/sd<X> Grabar imagen ISO sudo dd if=/path/de/la/imagen.iso of=/dev/sd<X> El proceso puede durar unos minutos. Después de eso, el pendrive tendrá la imagen ISO grabada y podremos usarlo como disco de arranque, por ejemplo.
Diff con estadísticas de directorios afectados por cambios Se puede ver qué porcentaje del total de cambios entre versiones corresponde a cada directorio mediante el uso de git diff con el siguiente comando: git diff --dirstat=files,0 <REVISIÓN> Donde: - files ordena a Git analizar los cambios teniendo en cuenta los ficheros afectados. Ésta es la forma computacionalmente más barata de sacar las estadísticas. Otras formas son cumulative y lines, que tienen en cuenta las líneas cambiadas y los cambios acumulados en subdirectorios, respectivamente. - 0 ordena a Git tener cuenta cualquier porcentaje de cambios, por pequeño que éste sea. De lo contrario, Git sólo analizará aquellos ficheros que tengan al menos un 3% de cambios. - REVISIÓN indica contra qué revisión del repositorio queremos comparar el estado actual. ...
En ocasiones podemos necesitar inspeccionar ficheros XML de gran tamaño (del orden de cientos de MB) para por ejemplo comprobar su esquema o incluso asegurarnos de que un determinado contenido está presente en el fichero. Abrir grandes ficheros XML en un navegador web es lento y se corre el riesgo de hacer inusable o incluso tumbar el navegador, por muy moderno o potente que sea el equipo. Editores de texto como Vim o Emacs también pueden acabar de la misma forma si cargamos ficheros de cientos de megas, o incluso de GB. ...