Contient une liste de dossier des extensions à construire pour ajouter à Theia pendant la phase de build. Chaque dossier d'extension doit contenir un fichier install.sh et build.sh qui doivent contenir respectivement la façon d'installer les dépendances et les executions pour construire le plugin, c'est à dire créer un fichier vsix à la fin.

Chaque fichier build.sh sera appelé avec comme premier argument le tag en cours.