User canceled the installation process

Toit

#User canceled the installation process

Thread channel in help

Arubinu 05/15/2025 06:33 PM

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.

> 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?

floitsch 05/16/2025 12:51 PM

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

Releases · toitlang/toit

Program your microcontrollers in a fast and robust high-level language. - toitlang/toit

floitsch 05/16/2025 12:52 PM

I think I will add a jag toit ... that will just forward all shell arguments to the toit that was downloaded by Jaguar.

floitsch 05/16/2025 01:15 PM

PR uploaded: https://github.com/toitlang/jaguar/pull/615

Provide a 'jag toit ...' pass-through. by floitsch · Pull Request ...

This makes it possible to use any of the toit commands through Jaguar without knowing where Jaguar downloaded the SDK.

Arubinu 05/16/2025 04:38 PM

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.

floitsch 05/16/2025 05:16 PM

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.

floitsch 05/16/2025 07:13 PM

We just uploaded a PR to winget: https://github.com/microsoft/winget-pkgs/pull/257259
As the comment says: the winget install --manifest ... actually didn't work, so I expecting the PR to be rejected, but maybe we will get some feedback on why.

New package: Toit.Toit version 2.0.0-alpha.180 by LeonGungadinMogen...

Checklist for Pull Requests

Have you signed the Contributor License Agreement?
Is there a linked Issue?

Manifests

Have you checked that there aren&#39;t other open pull requests for the s...

Arubinu 05/16/2025 11:23 PM

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

8 messages in total