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.