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. ...