Changes

Jump to navigation Jump to search
No change in size ,  22:12, 29 May 2020
no edit summary
#* WINDOWS: run <code>setpath.bat</code>
#* UNIX: use the PATH instructions provided at the end of <code>install.sh</code> with:
::: * Bash shell <code>echo 'export PATH=...thepathinstructions...:$PATH' >> ~/.bashrc</code>::: * Sh/Ksh shell <code>echo 'export PATH=...thepathinstructions...:$PATH' >> ~/.profile</code>::: * Tcsh/csh shell <code>echo 'set path = ($path ...thepathinstructions...)' >> ~/.cshrc</code>

Navigation menu