PHP - Importar base de datos

Estoy intentando restaurar una base de datos través de un fichero. De momento estoy escribiendo el código en mysql pero no me funciona, me salen las opciones:
Estoy en c:\mysql\bin, desde línea de comando:
mysql -uUser -pPass -hlocalhost basedatos < fichero.sql;

Lo he escrito desde el mysql y me salen toda una lista de opciones y no parece que me restaure nada, qué hago mal??

Vale.... me sobraba el punto y coma final....