is there a quick command/one-line shell script to compute the total disk used space for a file with a certain three letter extension?