diff --git a/TaskAndTimeTimJahn.txt b/TaskAndTimeTimJahn.txt index d459d1c1571b9f0eaa6aad5171ee0a730e159a41..022d747a12dfd98fde0fbf7d8d30e8a982b25c9e 100644 --- a/TaskAndTimeTimJahn.txt +++ b/TaskAndTimeTimJahn.txt @@ -41,6 +41,8 @@ Sebastian hours: 14.11.24 8h 24.11.24 4h +30.11.24 8h +01.12.24 8h //------------------------------------------------------------------------------------------------------ see https://github.com/eclipse-theia/theia/blob/master/doc/Developing.md#prerequisite_native_keymap @@ -69,3 +71,53 @@ npm install keytar@7.2.0 hours: 14.11.24 8h + +tutorial for glsp does not work for java 21, throws: + + $ Unknown OSGi execution environment: 'JavaSE-21' + $ org.eclipse.tycho.core.ee.UnknownEnvironmentException: Unknown OSGi execution environment: 'JavaSE-21' + +switch to JavaSE 17 + + $ update-java-alternatives --list + $ sudo update-java-alternatives --set /usr/lib/jvm/java-1.17.0-openjdk-amd64 + +tutorial for glsp not up to date - git repository modified heavily to accomodate the documentation - the files +refered to in the tutorial ar not in the refered repository + - proceed to work through the documentation + +some unclear aspects regarding the issues: + +- general location of affected files +- adding new content? +- backup plan +- devel or new branch? + +#1 no bug fix; add mask? + - new pnml is empty file - misses model; add defaut model via handler + +#2 tasklist file names? + - petri_net editor + +#3 one page includes all others elements? + - one page includes all + +#4 node page - maybe example + - beispiel - last link + https://git-st.inf.tu-dresden.de/dineros/framework/journal-paper-evaluation/-/blob/main/full/model-v5/sorting-wf-synced-safe-sensor-grpn-sig.pnml?ref_type=heads + - add extra option for node page with additional metadata + +#5 "all elements like channels" - only channels + - input only for transitions, markings only for places + +#6 some details pls + - elements are in the model but not in the exported pnml + +#7 + +prio 1,3,4,6 + +push to devel, merge with sebastioan as assignee in gitlab website + +30.11.24 8h +01.12.24 8h \ No newline at end of file