home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Crawly Crypt Collection 1
/
crawlyvol1.bin
/
apps
/
desktops
/
gmni1999
/
profile
< prev
next >
Wrap
Text File
|
1994-02-26
|
900b
|
36 lines
#!mupfel
if [ ! -r profile ]
then
echo
echo GEMINI.APP muß im GEMINI2 Verzeichnis gestartet werden!
echo
else
if [ ! -r install.mup ]
then
mv profile install.mup
fi
(
echo '#!mupfel'
echo '# Wie in Gemini 1.2 wird zuerst einmal der Pfad gesetzt, in dem'
echo '# Gemini selbst liegt. Das ist die normale Einstellung, damit auch'
echo '# alle Kommandos gefunden werden.'
echo 'setenv GEMINIHOME '$PWD
echo
echo '# Hier wird das HOME-Verzeichnis des Benutzers gesetzt, in dem'
echo '# sich alle Dateien befinden, in denen seine persönlichen'
echo '# Einstellungen gesichert werden. Es kann nach eigenem Ermessen'
echo '# auf einen anderen Ordner umgesetzt werden. Alle anderen Einstellungen'
echo '# werden dann aus der profile.mup dort geholt.'
echo 'setenv HOME $GEMINIHOME\user'
echo
echo 'source $HOME\profile'
echo
) > profile
source .\profile
fi