[[: Команда не найдена - PullRequest
       20

[[: Команда не найдена

3 голосов
/ 28 января 2011

Я устанавливаю RVM в системе, где у меня нет разрешений sudo.В теории все должно работать нормально, но когда я добавил

[[ -s "$HOME/.rvm/scripts/rvm" ]] && source "$HOME/.rvm/scripts/rvm"

в bash_profile, он не делает то, что должен, и он дает мне эту ошибку

[[: Command not found.

Кто-нибудь знает, чтоможет быть проблема?

Ответы [ 4 ]

3 голосов
/ 28 января 2011

Поместите следующее в начало вашего скрипта:

#!/bin/bash

Это заставит bash быть интерпретирующей оболочкой.Как уже упоминалось в других ответах, [[ ]] - это bashism, а не синтаксис POSIX.

3 голосов
/ 28 января 2011

"[[" .. "]]" является встроенным в bash.Сценарий запускается другой оболочкой?

2 голосов
/ 28 января 2011

Похоже, что ваш .bash_profile выполняется другой оболочкой, кроме bash.

1 голос
/ 28 января 2011

RVM (пока) не совместим с csh, поддерживаются только bash и zsh> = 4.3.5.

(см. http://rvm.io/rvm/prerequisites/)

...