Hosting di un plug-in su GitHub

È stato creato un plug-in utile da condividere? Ospitare il repository su GitHub permetterà ad altri utenti di installare il plug-in da Plugin Manager.

Hosting del progetto di plug-in

Questo processo è simile a quello di un capitolo precedente in cui è descritto come pubblicare il plug-in creato in Plugin Playground.

Accedere al nuovo repository di plug-in di GitHub, ad esempio https://github.com/Joe/JoesPlugins.

Nel menu superiore, fare clic su Settings > Pages. In Source, fare clic sul pulsante None e selezionare il ramo principale. Fare clic su Save.

Aggiornamento del progetto di plug-in localmente

A questo punto, è possibile continuare ad aggiungere, modificare e testare i plug-in localmente e, quando si è pronti per la pubblicazione, utilizzare GitHub Desktop o un altro client Git per inviare le modifiche al repository GitHub. Chiunque utilizzi il repository e i plug-in riceverà sempre il codice più recente all'avvio di FormIt.

Pubblicazione del progetto

Per i progetti creati in un IDE anziché in Plugin Playground, è possibile pubblicare il plug-in aggiungendo un argomento FormIt-plugin al repository dei plug-in.

Ciò consente di individuare il plug-in nell'elenco di plug-in della community.

Visualizzare il repository su GitHub visitando il collegamento al progetto, ad esempio, https://github.com/Giovanni/PluginGiovanni.

Fare clic su Settings nell'angolo superiore destro.

Aggiungere una descrizione del plug-in, aggiungere formit-plugin al campo Topics e salvare le modifiche.

Una volta salvato, il progetto del plug-in verrà aggiunto all'elenco di plug-in della community.