Para un script en el que ando «trabajando» me ha hecho falta conocer el tamaño de determinado fichero.
Aunque desde la terminal bastaría con lanzar un «ls -l» necesitaba una forma más sencilla de obtener dicha información sin tener que recurrir a awk ni a expresiones regulares «pseudo-complejas».
Por fortuna existe una solución que permite obtener dicha información (y otros datos de cualquier fichero del sistema) desde un script bash.