I don’t have access to the toit command when installing as described in the documentation (using winget in PowerShell). It seems like I had to run the installation in Administrator mode, otherwise it would fail (at least that’s what I had to do for the update via jag). This time, even as Administrator, I’m getting these logs.

shell
> toit toitdoc serve
    toit : Le terme «toit» n'est pas reconnu comme nom d'applet de commande, fonction, fichier de script ou programme exécutable. Vérifiez l'orthographe du nom, ou si un chemin d'accès existe, vérifiez que le chemin d'accès est correct et 
    réessayez.
    Au caractère Ligne:1 : 1
    + toit toitdoc serve
    + ~~~~
        + CategoryInfo          : ObjectNotFound: (toit:String) [], CommandNotFoundException
        + FullyQualifiedErrorId : CommandNotFoundException

Did I forget something? https://cdn.discordapp.com/attachments/1372642971060797482/1372642971312197814/WinGet-Toit.Jaguar.1.51.0-2025-05-15-20-22-46.680.log?ex=682784e2&is=68263362&hm=fb70231096ea85fe435661fe08ae336c143b1c546accf95ef2d4d7c656ff01fa&

Are you trying to have

toit

by just installing Jaguar? If yes, then you would need to add the downloaded SDK binary to the PATH. It's probably easier to just install Toit as well. I don't remember if we have a winget (and if not, we should add one), but there is an installer on the release page: https://github.com/toitlang/toit/releases

I used the Toit documentation, which suggests installing via Winget on Windows using

winget install --id=Toit.Jaguar -e

. To add

toit.exe

to the PC, you need to run

jag setup

, and the output of

jag toit

gives the following:

jag toit
Use 'toit lsp' and other extras through Jaguar

Usage:

Flags:
  -h, --help   help for toit

From what I understand, we have to wait for the PR. Thanks a lot for the quick response ^^ I could certainly call

toit.exe

directly or add it to the PATH, but using

jag toit

would be ideal.

Jaguar is the most convenient for development. You could install Toit itself (using one of the installers in the release page), but that would be a separate SDK from the one that Jaguar uses. For simplicity, Jaguar downloads a fixed version it then uses. I think I already started a winget for Toit. Not sure what happened there. Looking into it.

Oh, I just installed the beta version, and indeed Toit is accessible (it offered to add it to the PATH during installation).