Ajuda na instalação do Hope no Ubuntu

Question

Estou quieto no novo sistema operacional do Ubuntu. Seria de grande ajuda se alguém pudesse sugerir e explicar os comandos na instalação do software Hope. O manual fornece os seguintes passos:

eu. Para instalar a esperança, siga os procedimentos descritos abaixo.

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. Antes de usar a esperança, cada usuário deve definir o seguinte     duas variáveis de ambiente, conforme descrito abaixo.

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.

    

Answer 1

O manual também deve informar o que colocar no diretório ~cad/etg/hope .

Todos os comandos listados devem ser digitados no prompt do Terminal. Mantenha as teclas CTRL e ALT pressionadas e pressione T - que abrirá um terminal. Cada comando precisa pressionar ENTER no final, para executá-lo.

Observe que ~cad na descrição acima pode ser diretamente substituído por $USER - e as instruções funcionarão diretamente (com essa alteração).

Portanto, "cd ~cad/etg/hope" se torna cd $USER/etg/hope

Crie o diretório de esperança, se não existir:% mkdir -p $USER/etg/hope

Crie o diretório bin, se não existir:% mkdir -p $USER/bin

Este comando mais complexo dirá qual arquivo que contém "PATH" (a parte antes de ':' é o nome).
cd; grep PATH .* 2>&1 | grep -vE 'dir|denied'

Você precisa editar esse arquivo e anexar :$USER/bin ao final da linha que contém PATH=

Para editar o arquivo, digite nano name_of_the_file

Com nano em execução; a parte inferior da tela conterá teclas para pressionar para acessar as funções em nano - por exemplo, salvar o arquivo e sair do nano.
Note que ^ significa manter pressionada a tecla CTRL e pressionar a tecla listada.

Se o 'comando complexo' acima não imprimir nada, então NÃO há nenhum arquivo que contenha PATH; então digite:
echo >>.bashrc 'set PATH=$PATH:$USER/bin'
anote o uso de ' -quotes, essa é uma diferença importante aqui.

Então: setenv HOPE_MAN $USER/etg/hope
... adicione-o ao final do mesmo arquivo (em uma nova linha), onde você coloca o PATH, com nano .bashrc
... se é onde o PATH acabou.