[Tecnica] Git, rimozioni e tipi di file

[$ito]

Rispondo per il punto due perché in realtà lo puoi fare, ad una condizione.
Se vuoi rimuovere dal repository un file che hai messo in gitignore (cosa
che credo sia il tuo caso) puoi fare

git rm --cached myfile


oppure, nel caso di cartella

git rm --cached -r mydirectory

Così facendo rimuovi il file dal repository, ma dovrebbe rimanere sul tuo
filesystem.

$ito

Il giorno 29 marzo 2015 23:36, Emanuele Bruni <blackhat a hacknight.org> ha
scritto:

> On Sun, 29 Mar 2015 23:25:01 +0200
> Marcello Semboli <dinogen a gmail.com> wrote:
>
> > Si, no.
> > Sì, I file che git deve ignorare stanno in un file che si chiama
> gitignore.
> > Se cerchi su internet ne trovi di già pronti.
> > No, il git rispecchia il file sistem.
> >
>
> denghiù so macc...
> Sapevo di poter contare sulla Scienza (detto con la voce di
> CrozzaZichichi) dello SLUG... :)
>
> aloha!
> blackhat
>
>
> --
> Emanuele Bruni <blackhat a hacknight.org> -Utente Linux registrato #223702
> "Beati gli ultimi perchè lo stack è LIFO" (Dinogen)
> La via dello Unix è il KISS.
> DIffida dei programmi che non rispettano il  KISS.
> _______________________________________________
> Tecnica mailing list
> Tecnica a liste.siena.linux.it
> http://liste.siena.linux.it/cgi-bin/mailman/listinfo/tecnica
>
-------------- parte successiva --------------
Un allegato HTML è stato rimosso...
URL: <http://liste.siena.linux.it/pipermail/tecnica/attachments/20150330/42dfbe75/attachment.htm>