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