Ora come faccio, sempre in linux, a sapere la dimensione e la data di ultima modifica di un file?