Olá, preciso importar uma database, porém uso linux e não consegui instalar o Workbench, portanto a única opção é usar o shell, estava seguindo as instruções deste link: https://www.digitalocean.com/community/tutorials/how-to-import-and-export-databases-in-mysql-or-mariadb ; porém recebo este erro: "ERROR: Can't initialize batch_readline - may be the input source is a directory or a block device." 
; Supostamente as pastas estão corretas, alguém já passou por este erro? não achei nada parecido no Stack Overflow.
Solucionado (ver solução)
Solucionado
(ver solução)
1
resposta
resposta
Importar uma database pelo terminal
solução!
Consegui solucionar, o correto era selecionar os arquivos ".sql" um por um e não a pasta toda.