Я пытаюсь установить Open MPI. Я скачал архив и распаковал папку в / home /
. Я зашел туда и ввел ./ configure --prefix = "/ opt / openmpi"
и получил следующую ошибку:
./configure: line 4840: config.log: Permission denied
./configure: line 4850: config.log: Permission denied
Я пробовал следующее:
ls -l configure
, что дает -rwxrwxr-x 1 корень корень ... настроить
df -h.
. Я нахожусь на / dev / sda6
grep '\ s / home / \ s. * Noexec' / proc / mounts
не дает результатов sh
Я стараюсь избегать использования sudo
для его установки. Что я могу сделать?
Как предложено @Lillox мне было нужно к chwon
каталог (например, /home/openmpi-1.10.1
).
sudo chown -R user: .
(После того, как :
группа пользователей будет не учтена так, эта команда использует группу пользователей по умолчанию.)
После этого я продолжал установку с этими командами:
./configure --prefix="/opt/openmpi"
make all install
sudo mount -o ro,remount /dev/sda5
и затем fsck, или просто используйте вторую часть моего ответа для разрешения проблемы. – heynnema 10 April 2017 в 02:53