Справка с установкой Надежды в Ubuntu
Я тих в новинку для ubuntu OS. Это очень помогло бы, если кто-то мог бы предложить и объяснить команды в установке программного обеспечения Hope. Руководство обеспечивает следующие шаги:
I. Для установки надежды выполните процедуры, описанные ниже.
1. To install hope, make a bin directory under your home
directory. Suppose that the home directory is ~cad and
the source code of hope is under the directory
~cad/etg/hope.
2. Go to the directory hope.
"cd ~cad/etg/hope".
3. To compile hope, type "make".
An execution file "hope" will be created.
4. Copy or symbolically link hope to the directory ~cad/bin using
"cp hope ~cad/bin" or
"ln -s hope ~cad/bin/hope".
II. Перед использованием надежды каждый пользователь должен установить следующие две переменные среды, как описано ниже.
1. Set your path (or PATH) environment variable to include
~cad/bin in your search path. This variable, in general,
can be found in your ".cshrc" file. For example, the line
set path = ( .... ~cad/bin)
includes ~cad/bin to your search path.
2. Set the HOPE_MAN environment variable to indicate the
directory hope, where the on-line manual of hope is
located, using the setenv command as shown below.
"setenv HOPE_MAN ~cad/etg/hope"
If you use hope frequently, add the above command to your
".cshrc" file.
1 ответ
Руководство должно также сказать, что вставить ~cad/etg/hope каталог.
Все перечисленные команды должны быть введены при Терминальной подсказке. Держите CTRL и клавиши ALT, затем нажмите T - который откроет Terminal. Для каждой команды нужно нажимание на ENTER в конце, это для выполнения его.
Отметьте это ~cad в описании выше может быть непосредственно заменен $USER - и инструкции будут работать непосредственно (с тем изменением).
Так "cd ~cad/etg/hope" становится cd $USER/etg/hope
Создайте каталог надежды, если он не существует:
mkdir -p $USER/etg/hope
Создайте каталог bin, если он не существует:
mkdir -p $USER/bin
Эта более сложная команда скажет, какой файл, который содержит "ПУТЬ" (часть прежде ':' имя).
cd; grep PATH .* 2>&1 | grep -vE 'dir|denied'
Необходимо отредактировать тот файл и добавить :$USER/bin в конец строки, которая содержит PATH=
Для редактирования файла ввести
nano name_of_the_file
С нано выполнением; нижняя часть экрана будет содержать ключи для нажатия к функциям доступа в nano - т.е. сохранить файл и выход из нано.
Отметьте это ^ обозначает удержание CTRL и нажатия перечисленной клавиши.
Если 'сложная команда' выше ничего не печатает, то нет НИКАКОГО файла, который содержит ПУТЬ; затем введите:
echo >>.bashrc 'set PATH=$PATH:$USER/bin'
отметьте использование '- кавычки, это - важное различие здесь.
Затем:
setenv HOPE_MAN $USER/etg/hope
... добавьте его в конец того же файла (на новой строке) как, куда Вы помещаете ПУТЬ, например, с
nano .bashrc
... если это - то, где ПУТЬ закончился.