il comando source di mysql in che directory cerca? cioè...se io faccio sul terminale del mio server SOURCE casa.sql dove devo mettere il file casa.sql?