home *** CD-ROM | disk | FTP | other *** search
/ Computer Club Elmshorn Atari PD / CCE_PD.iso / pc / 0600 / CCE_0686.ZIP / CCE_0686 / GEMINI2.ZIP / GEMINI2 / PROFILE.MUP < prev    next >
Text File  |  1993-12-30  |  920b  |  36 lines
  1. #!mupfel
  2.  
  3. if [ ! -r profile.mup ]
  4. then
  5.   echo
  6.   echo GEMINI.APP muß im GEMINI2 Verzeichnis gestartet werden!
  7.   echo
  8. else
  9.  
  10. if [ ! -r install.mup ]
  11. then
  12.   mv profile.mup install.mup
  13. fi
  14.  
  15. (
  16. echo '#!mupfel'
  17. echo '# Wie in Gemini 1.2 wird zuerst einmal der Pfad gesetzt, in dem'
  18. echo '# Gemini selbst liegt. Das ist die normale Einstellung, damit auch'
  19. echo '# alle Kommandos gefunden werden.'
  20. echo 'setenv GEMINIHOME '$PWD
  21. echo 
  22. echo '# Hier wird das HOME-Verzeichnis des Benutzers gesetzt, in dem'
  23. echo '# sich alle Dateien befinden, in denen seine persönlichen'
  24. echo '# Einstellungen gesichert werden. Es kann nach eigenem Ermessen'
  25. echo '# auf einen anderen Ordner umgesetzt werden. Alle anderen Einstellungen'
  26. echo '# werden dann aus der profile.mup dort geholt.'
  27. echo 'setenv HOME $GEMINIHOME\user'
  28. echo 
  29. echo 'source $HOME\profile.mup'
  30. echo 
  31. ) > profile.mup
  32.  
  33. source .\profile.mup
  34.  
  35. fi
  36.