rozšířené-atributy.sh
author František Kučera <franta-hg@frantovo.cz>
Sat Aug 18 13:38:58 2012 +0200 (2012-08-18)
changeset 20 bf328b110881
parent 7 48d5fdb68798
child 39 12cc8aa876c9
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}";