Risolvere “fatal: remote github not defined”!

Giusto ieri stavo buildando DotOS 5 per XZ1 (Android 11) e, mentre modificavo i vari file necessari, ad un certo punto il terminale, dopo aver dato il classico comando Repo Sync (ecc.) mi restituisce il seguente errore:

  • fatal: remote github not defined in /percorsomiahome/nomecartellaos/bipitibopitiwho/manifest.xml”

a quel punto non ho la più pallida idea di cosa fare. Apro il file e non trovo niente di anomali, torno a specificare nuovamente su repo le mie credenziali GitHub ma nulla da fare.

Come risolvere remote github not defined!

Per risolvere, basta semplicemente aprire il file manifest.xml indicato nel percorso dell’errore ed aggiungere questo all’interno:

<remote name=”github”
fetch=”https://github.com/” />

salvate e tornate a fare repo sync. Funzionerà perfettamente 😀

Riguardo a: Salvo Cirmi (Tux1)

Un pinguino intraprendente che dopo diversi anni di "servizio" online (e soprattutto delle guide) ha acquisito conoscenze non di poco conto sui settori Android, Linux e Windows. Le mie specialità sono il modding e le review. Nel tempo libero (che è raro trovare) suono il piano, mi diverto effettuando modding e provando distribuzioni Linux, BSD ed altre.