Am Montag, 1. Juli 2002 11.57 schrieb Jörg Zimmermann:
Woher 'weiss' denn Deine profile.local was in $CATALINA_HOME steht?
[..] Wird natürlich vorher gesetzt:
NPX_PLUGIN_PATH=/opt/j2sdk/jre/plugin/i386/ns4 export NPX_PLUGIN_PATH CLASSPATH=.:/opt/junit3.7/junit.jar export CLASSPATH JDK_HOME=/opt/j2sdk export JDK_HOME JAVA_HOME=$JDK_HOME export JAVA_HOME CVSROOT=/usr/local/cvs export CVSROOT CATALINA_HOME=/opt/jakarta-tomcat export CATALINA_HOME PATH=/opt/squeak3.2:/opt/RealPlayer8:/opt/mozilla:$JDK_HOME/bin:/opt/poseidon1.2 /bin:/opt/tmake/tmake-1.7/bin:/opt/bin:/opt/jakarta-ant/bin:$PATH export PATH alias tomcatup=$CATALINA_HOME/bin/startup.sh alias tomcatdown=$CATALINA_HOME/bin/shutdown.sh ----------------------------- Nach einem "source /etc/profile.local" klappt es ja...
PS: Wenn die alias nur für die Mitglieder einer bestimmten Gruppe gesetzt werden sollten, wie mache ich das?
In den entsprechenden personalisierten profile-files, also ~/.profile.
Kann man das nicht irgendwie zentral verwalten (damit man sie nur an einem Ort ändern muss)?