Le 29/06/2016 à 20:40, Paul Draper a écrit : > I presume that do_auto was at one time important > for something, though I have no idea what it was.
do_auto is the function called when update-java-alternatives is called with the --auto option. This resets to the highest priority JRE. I'm not sure to understand why do_auto is called from do_set though. We can try removing it and see how it works. Emmanuel Bourg