La sua soluzione funziona, ma non la considero un’opzione valida, nessun utente sarebbe disposto a fare tutto ciò solo per aggiungere un plugin. Volevo solo sapere se qualcuno poteva pensare a un approccio migliore (il più vicino possibile a semplicemente aggiungere il repository e il gioco è fatto). come ha detto lui stesso @fzngagan:
Mi piacerebbe molto se ci fosse una soluzione più diretta.