Ubuntu Linux issues

The ?- report. command sends the derivations to the browser. In Ubuntu Linux under WSL2 (Window 11), the system browser is not invoked, an error message pops up instead.

According to Kan Rangsan, this can be solved by installing the following at the command line.

sudo add-apt-repository ppa:wslutilities/wslu
sudo apt update
sudo apt install wslu

See link

Below, you can see the browser working fine after the fix.


Last modified: Wed Aug 14 01:14:23 MST 2024