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.
$ type minizinc
apenas dá bash: type: minizinc: not found
. Não há arquivo conflitante em /usr/local/heroku/bin
infelizmente :(
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
type minizinc
? Poderia umminizinc
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.