view run.gui_sh @ 104:144cb44cd75e

TabEdit: Introduced dirty/unsaved marker '*' Also fixed card deletion in a case where it is open in multiple windows. Now it marks the card as new in all other windows.
author Fox
date Thu, 06 Apr 2023 09:59:12 +0200
parents 4ee26d904fe3
children
line wrap: on
line source

#!/bin/sh

#export _JAVA_AWT_WM_NONREPARENTING=1
export CLASSPATH=../src:../build:../lib/lucene-core-3.0.3.jar
#JAVA=/usr/lib/jvm/java-8-openjdk-amd64/bin/java

if [ ! -d './run' ]; then
	mkdir ./run
fi

cd ./run

if [ ! -d '../build' ]; then
	mkdir ../build/
fi

javac -d ../build $(find ../src -name '*.java' | xargs) && java junotu.Main