ok ho risolto cancellando a mano la cartella .idea.
e poi:
$ git add .
$ git commit -m "Removing directories"
$ git push
:ciauz:
Tipo: Messaggi; Utente: fermat
ok ho risolto cancellando a mano la cartella .idea.
e poi:
$ git add .
$ git commit -m "Removing directories"
$ git push
:ciauz:
ciao.
ho fatto così, ma su github la cartella mi è rimasta.
e se adesso provo a rimuoverla senza l'opzione cached mi dice:
$ git rm -r .idea
fatal: lo specificatore percorso '.idea' non...
ciao!
ok, solo una cosa.
questo comando mi cancella anche la cartella .idea locale?
ciao!
su alcuni progetti, quando a fare il pull da github, mi dice sempre che devo prima fare la commit del file .idea/worspace.xml.
suppongo sia un file del progetto creato e modificato da...