You are correct. It should be 904. Mea culpa.
On Sat, 4 Mar 2023 at 10:19 PM Robin Niemeyer
wrote:
> I am running Linux Mint which is ubuntu/debian based.
>
> I got the error message:
> update-alternatives: priority must be an integer
> during installation of J9.4
>
> The command in install-usr.sh causing the message was:
> update-alternatives --install $BIN/ijconsole ijconsole $BIN/ijconsole-9.4
> 9.4
>
> The final parameter 9.4 should be an integer.
> Some standard way of converting between version number and an integer
> should be used.
> I used a three digit approach for myself:
>
> sudo update-alternatives --install /usr/bin/ijconsole ijconsole
> /usr/bin/ijconsole-9.4 940
>
> This way it would get a higher priority than 9.03 --> 903 where just using
> 94 would be a lower priority.
> --
> For information about J forums see http://www.jsoftware.com/forums.htm
>
--
For information about J forums see http://www.jsoftware.com/forums.htm