Nuovi sviluppi IDE 1.8.x

[zoomx]

Io avevo risolto il problema delle boarda con il plugin che editava il file boards.txt permettendomi di disattivare le schede che non ho.
Ho invece notato che la nuova sistemazione per core fa apparire anche roba che sta in tools per cui hai dei core che non hanno schede.

L'IDE alternativo secondo me dovrebbe:
1) usare il repository delle librerie dell'IDE ufficiale e segnalare gli aggiornamenti.
2) usare l'installazione dei core con json come l'IDE ufficiale e anche li segnalare aggiornamenti.

[gpb01]

Cosa è l'IDE Alternativo? ? ? 

Guglielmo

[zoomx]

Intendevo alternativo a quello offerto da Arduino.

Io ho provato Uecide che però, almeno all'epoca in cui l'ho provato, preleva le librerie da un'altra parte e non dai repository ufficiali. Aveva il vantaggio che precompilava tutto, un po' come fa l'IDE Arduino oggi, ma che teneva il precompilato se non veniva cambiato.

[docdoc]

... messi qui i suggerimenti servono meno di ZERO ... normalmente NESSUNO del team di sviluppo legge questo forum/thread, per cui ... devi andare su GitHub ed aprire una "issue" dove segnali le tue idee ... magari ne tengono anche conto ...

Sai darmi un link al repository adatto dove postare questo tipo di richieste (magari dopo aver poi letto quelle esistenti)? Su GitHub/arduino ci sono 162 repos, e non è facile trovare quello che riguarda l'IDE 1.8.*

EDIT: penso sia QUESTO, devo creare un Pull request.
Confermi?

[gpb01]

Il Git ufficiale (indicato anche nella pagina "download") è QUESTO ... li fai la tua pull ...

Guglielmo

[zoomx]

Ma la pull request si fa se modifichi tu il codice! Se proponi o chiedi qualcosa devi aprire una Issue.

[gpb01]

>menniti: Ho separato la discussione che ... NON aveva molto a che vedere con l'argomento del topic

Guglielmo

[menniti]

>menniti: Ho separato la discussione che ... NON aveva molto a che vedere con l'argomento del topic

Guglielmo

Hai fatto benissimo, scusami, ma a primo quesito sembrava attinente, ora magari potrà essere utile ad altri old men come me. Grazie