www@joaquinrossi.net
:
/
$
file dev dev: cannot open `dev' (No such file or directory)