Installer des modules : ton618 install
ton618 install greetings
Cela cherche greetings dans le registre de modules TON618 — un petit index hébergé séparément qui recense les modules communautaires en stockant seulement le nom, le lien GitHub, et la version d'un module (jamais son code) — puis télécharge greetings.ton directement depuis la branche par défaut de ce dépôt GitHub vers ./modules/greetings.ton, exactement là où IMPORT://greetings va déjà le chercher (voir Créer un module TON618).
L'URL du registre a une valeur par défaut intégrée dans include/Version.hpp (TON618_REGISTRY_URL) et peut être redirigée vers un autre déploiement sans recompiler, via la variable d'environnement TON618_REGISTRY_URL :
TON618_REGISTRY_URL=https://ton-registre.exemple ton618 install greetings
Comme --update, install n'a pas de client TLS intégré à lui — il délègue à curl (ou wget/PowerShell) à la fois pour l'interrogation du registre et le téléchargement GitHub, comme toute autre opération réseau du CLI lui-même (contrairement à ton.requests, qui est un client HTTP séparé et bac-à-sable exposé aux scripts — voir Modules système intégrés).
Un auteur de module n'a besoin de rien de spécial pour être installable ainsi : juste un dépôt GitHub public avec <nom>.ton à sa racine, enregistré une fois dans le registre avec le lien de ce dépôt et une chaîne de version.
Pour retirer un module récupéré ainsi, utilise ton618 uninstall <module> — ça supprime juste ./modules/<module>.ton (exactement le fichier créé par install), sans interroger le registre :
ton618 uninstall greetings
(À ne pas confondre avec ton618 --uninstall-ton, qui désinstalle l'interpréteur ton618 lui-même — voir Installer & compiler l'interpréteur. Cette commande vide aussi tout le dossier ./modules/ du répertoire courant, donc ton618 uninstall <module> et --uninstall-ton ne suppriment pas la même quantité : un seul module contre tous les modules récupérés dans ce projet.)