Caso você tenha alguma ferramenta de linha de comando que precise de acesso ao seu proxy, não esqueça o "/" final, ou seja:
export http_proxy=http://my_proxy:1234/
Como a configuração do seu proxy dentro do Firefox sem usuário e senha parece funcionar bem, você não precisará do usuário: senha dentro dessa cláusula de exportação.