Can't install dotnet interactive on WSL (Ubuntu 20.04)

Describe the bug

Upon trying to install dotnet interactive on Ubuntu 20.04 WSL using the tutorial I encounter problems.

$ python --version
Python 3.8.2

$ dotnet --version
3.1.402

$ jupyter --version
jupyter core     : 4.6.3
jupyter-notebook : 6.1.4
qtconsole        : 4.7.7
ipython          : 7.18.1
ipykernel        : 5.3.4
jupyter client   : 6.1.7
jupyter lab      : 2.2.7
nbconvert        : 5.6.1
ipywidgets       : 7.5.1
nbformat         : 5.0.7
traitlets        : 5.0.4

if I run dotnet tool install -g --add-source "https://dotnet.myget.org/F/dotnet-try/api/v3/index.json" Microsoft.dotnet-interactive I get an error saying it’s already installed:

Tool ‘microsoft.dotnet-interactive’ is already installed.

but if I do dotnet tool list I get an empty list:

$ dotnet tool list
Package Id      Version      Commands      Manifest
---------------------------------------------------

by trying to use dotnet interactive:

Could not execute because the specified command or file was not found.
Possible reasons for this include:
  * You misspelled a built-in dotnet command.
  * You intended to execute a .NET Core program, but dotnet-interactive does not exist.
  * You intended to run a global tool, but a dotnet-prefixed executable with this name could not be found on the PATH.

/mnt/c/Users/lucas/.dotnet/tools is present on $PATH. This happens even after

• I close all WSL sessions
• I run Restart-Service LxssManager on an admin PowerShell window

Please complete the following:

Which version of .NET Interactive are you using? Impossible to determine as the problem is within the installation

• OS
  • Windows 10 (2004 OS Build 19041.508)
  • macOS
  • Ubuntu 20.04 WSL
  • iOS
  • Android
• Browser
  • Chrome
  • Edge
  • Firefox
  • Safari
• Frontend
  • Jupyter Notebook
  • Jupyter Lab
  • nteract
  • Visual Studio Code
  • Other (please specify)

[wli3]

why \\wsl$\Ubuntu-20.04\ is needed? And you are running this append command on the host? I don’t think editing the PATH on the host will reflect to inside WSL shell session.

Could you run export PATH=$PATH:/home/mundim/.dotnet/tools inside the WSL?

[wli3]

Do you have /home/mundim/.dotnet/tools on the path of powershell?