Those files are my configurations files for the most of my IDEs and generally my applications settings.
This my customization on git-bash
My IDEA settings has configured Google Java Style Guide, live templates, UI settings, keymaps. I have also have settings for some plugins installed. Plugins are not exported because Jetbrains doesn`t support it yet.
Head to the wiki for live templates documentation
The myStartup.jsh
file contains a command to change the default editor of the jshell.
To apply this startup file you need to open a jshell session and run the following command /set start myStartup.jsh -retain DEFAULT
Java batches are for switching between different JDK versions in Windows.
Run jdk8.bat
to set jdk8
Run jdk11.bat
to set jdk11
To change jdk in linux just run update-alternatives --config java