Phpstorm, git e workspace.xml

[fermat]

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 phpstorm.
per escluderlo, l'ho aggiunto agli exclude.
in pratica ci ho messo questo:

/.idea/

però quando a fare la commit mi dice di caricare anche il suddetto file.
come faccio ad escludere la cartella .idea??
o avete altri suggerimenti in merito a sta rottura??

[Alhazred]

Ci ho sbattuto la testa anche io sulla cartella .idea e su workspace.xml, il problema è che devi anche eliminare la cartella e il file dal repository.

git rm -r .idea
git commit . -m "Rimossa la cartella .idea"
git push origin <nome-branch>

Nel mio .gitignore li ho indicati così
/.idea
/.idea/workspace.xml

in teoria il secondo non dovrebbe servire.

[fermat]

ciao!

ok, solo una cosa.
questo comando mi cancella anche la cartella .idea locale?

[Alhazred]

Sì, ma PHPStorm dovrebbe rigenerarla.
Se vuoi andare sul sicuro e cancellare solo quella del repository

git rm -r --cached .idea

[fermat]

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 corrisponde ad alcun file

[fermat]

ok ho risolto cancellando a mano la cartella .idea.
e poi:

$ git add .
$ git commit -m "Removing directories"
$ git push