blob: e3016ae3778e5d4dfadb0f1d73bb4ec72030d6b2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
****************************************************************
To start vjed automatically on boot, please add the following
line to /etc/rc.conf:
vjed_start=YES
To use extra GUI accessories, you need to install JDK and
JFC from ports (java/jdk11 and java/jfc) and set the following
environment variables:
B-shells)
export JAVA_HOME=${PREFIX}/jdk1.1.8
export SWING_HOME=${PREFIX}/share/java/classes/jfc-1.1.1
C-shells)
setenv JAVA_HOME ${PREFIX}/jdk1.1.8
setenv SWING_HOME ${PREFIX}/share/java/classes/jfc-1.1.1
****************************************************************
|
