redsea
must be in your home directory. redsea/bin/rs-conf
" (note the ". " before the commmand) to set the environment variablesrs-install
" to run the installation
To verify your home type directory type echo $HOME
.
If the directory redsea
is moved, the variable RS_home
in
rs-conf must be changed accordingly.
rs-install
is "not found" is because the environment is not set by
". redsea/bin/rs-conf
".
It must be set each time one opens a new terminal;
rs-install
could be run automatically from the profile;
e.g., insert in the file .bash_profile
in your home directory the line . redsea/bin/rs-conf
.