comando não encontrado mesmo que o diretório esteja em $ PATH [closed]

Estou tendo problemas para executar um programa que deve estar no meu caminho $, mas aparentemente não é. Quando eu o executo com o caminho completo, ele funciona bem, mas quando eu só chamo o executável, ele diz que o comando não foi encontrado. Isso é apesar do diretório estar no meu caminho. As permissões estão bem, até onde eu posso ver, e tentei movê-lo para vários locais diferentes sem sorte.
Aqui está um instantâneo do problema, minizinc é o executável em questão.

$ echo $PATH
/usr/local/heroku/bin:/usr/local/minzinc/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
$ minizinc
minizinc: command not found
$ /usr/local/minizinc/bin/minizinc 
minizinc: no model file specified
minizinc: use --help for more information.
$ ls -l /usr/local/minizinc/bin/minizinc 
-rwxr-xr-x 1 root root 2747036 2012-10-20 12:51 /usr/local/minizinc/bin/minizinc

Estou executando o Ubuntu 11.04 e usando o bash como meu shell.

ubuntu bash path Andrew
fonte

O que você ganha se você executar: type minizinc? Poderia um minizinc executável estar em /usr/local/heroku/bin que é para uma plataforma diferente está faltando uma biblioteca compartilhada necessária? Eu só pergunto isso porque eu fui queimado por isso mesmo.

HeatfanJohn

$ type minizinc apenas dá bash: type: minizinc: not found. Não há arquivo conflitante em /usr/local/heroku/bin infelizmente :(

Andrew

Bem vindo ao Super User, Andrew! Já que o seu problema apenas resultou de um erro de digitação, eu encerrei essa questão como sendo muito localizada agora - é improvável que alguém encontre o mesmo problema. Ainda bem que você tem o problema resolvido embora!

slhck

comando não encontrado mesmo que o diretório esteja em $ PATH [closed]

Respostas: