2.3.1 Linux

An Softwarevoraussetzung unter Linux ist eine ,,libc`` und ,,libm`` Version 5 nötig (mupad), sowie libc5-gelinkte xview-, olgx-, x11-, xext-Libraries (xmupad). Notfalls ist es erforderlich bei glibc-basierten Distributionen (Suse6.0, Debian 2.0/2.1) die oldlibs-Packages nachzuinstallieren.

Unter Linux erhält man ein ``*.tar.gz'', ``*.tgz'', ``*.tar.bz2''<sup>2.5</sup> oder ``*.zip''^2.6 Archiv. In diesen Archiven gibt es meist einen Installscript, wenn nicht, dann sollte man nach einer ,,INSTALL`` Datei ausschauhalten und sich diese anschauen.

Bei der Installation ist noch zu beachten, daß die Umgebungsvariablen und Pfade stimmen. Unter Linux könnte ein Eintrag in ,,/etc/profile``^2.7 so aussehen:

# /etc/profile: system-wide .profile file for bash(1).

 

PATH="/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games"

PS1="\\$ "

 

export PATH PS1

 

umask 002

/usr/bin/check-sendfile

 

#MuPAD 1999 by Andreas added

MuPAD_ROOT_PATH="/usr/local/MuPAD"

export MuPAD_ROOT_PATH

FONT_PATH=$MuPAD_ROOT_PATH/share/doc/hytex/fonts

MANPATH=`manpath` 

export MANPATH

if test -n "$MANPATH" ; then

MANPATH=$MANPATH:$MuPAD_ROOT_PATH/share/doc/man

else

MANPATH=$MANPATH:$MuPAD_ROOT_PATH/share/doc/man

fi

export MANPATH

PATH=$PATH:$MuPAD_ROOT_PATH/share/bin

export PATH

export FONT_PATH

#end MuPAD

Footnotes

... ``*.tar.bz2''^2.5

``*.tar.gz'' bzw. ``*.tgz'' packt man mit ``tar xfz file.tar.gz'' aus, ``*.tar.bz2'' ist ein bzip2- gepacktes Archiv, man kann es mit ``cat file.tar.bz2 | bunzip2 | tar xf'' auspacken

... ``*.zip''^2.6

Naja, da sollte wohl klar sein, wie man ein File auspackt? Wenn nicht, gib unter DOS/Windows mal ``pkunzip /?'' unter Unix ``man unzip'' ein. :)

... ,,/etc/profile``^2.7

gültig für bash, für andere Shells sind die Angaben entsprechend anzupassen