Dois pontos:
- Não há necessidade do primeiro comando 'export'
- Parece-me que você definiu errado o seu vertx_home, pois seu caminho efetivo é: / anto / vertex / bin / bin - observe a repetição de 'bin'
Sugira que altere seu .bashrc para o seguinte:
vertx_home=/anto/vertx
export PATH=$PATH:$vertx_home/bin
Feche todos os terminais abertos para que a alteração entre em vigor.