Etapas realizadas:
- Descompactei o maven no diretório workspace;
- Digitei mvn --help, ele respondeu;
- Editei o arquivo .bash_profile no diretório do usuário (/home/usuário);
- Abri uma nova janela de terminal e digitei: mvn --help e recebi a seguinte mensagem: O programa 'mvn' não está instalado no momento. Você pode instalá-lo digitando: sudo apt install maven
Não entendi! Não seria só descompactar e configurar as variáveis de ambiente?