2004-05-11 18:47:52 +02:00
|
|
|
****************************************************************
|
|
|
|
To start vjed automatically on boot, please add the following
|
|
|
|
line to /etc/rc.conf:
|
|
|
|
|
|
|
|
vjed_start=YES
|
|
|
|
|
2000-02-02 17:55:56 +01:00
|
|
|
To use extra GUI accessories, you need to install JDK and
|
2004-05-11 18:47:52 +02:00
|
|
|
JFC from ports (java/jdk11 and java/jfc) and set the following
|
|
|
|
environment variables:
|
2000-02-02 17:55:56 +01:00
|
|
|
|
|
|
|
B-shells)
|
2000-04-04 21:03:36 +02:00
|
|
|
export JAVA_HOME=${PREFIX}/jdk1.1.8
|
|
|
|
export SWING_HOME=${PREFIX}/share/java/classes/jfc-1.1.1
|
2000-02-02 17:55:56 +01:00
|
|
|
|
|
|
|
C-shells)
|
2000-04-04 21:03:36 +02:00
|
|
|
setenv JAVA_HOME ${PREFIX}/jdk1.1.8
|
|
|
|
setenv SWING_HOME ${PREFIX}/share/java/classes/jfc-1.1.1
|
2000-02-02 17:55:56 +01:00
|
|
|
|
2004-05-11 18:47:52 +02:00
|
|
|
****************************************************************
|