rozšířené-atributy.sh
author František Kučera <franta-hg@frantovo.cz>
Sat, 18 Aug 2012 13:38:58 +0200
branchv_0
changeset 20 346e69619e34
parent 15 984cba2864e5
child 39 ec0e970e0830
permissions -rwxr-xr-x
První fungující verze doplňku pro jEdit.
     1 #!/bin/bash
     2 
     3 JAVA_HOME="/opt/jdk1.7.0";
     4 JAVA_BIN="${JAVA_HOME}/bin/java";
     5 SWING_LAF="-Dswing.defaultlaf=com.sun.java.swing.plaf.nimbus.NimbusLookAndFeel";
     6 JAR="java/rozsirene-atributy/dist/rozsirene-atributy.jar";
     7 
     8 # For English localization uncomment this:
     9 # LANG="en_US.utf8";
    10 
    11 ${JAVA_BIN} ${SWING_LAF} -jar ${JAR} "${1}";