Hosting di un plug-in su GitHub
Last updated
Last updated
È 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.
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.
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.
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.