Repository personale remoto. Rimozione componente?

Installazione, configurazione e uso di programmi e strumenti.
Avatar utente
DoctorStrange
Imperturbabile Insigne
Imperturbabile Insigne
Messaggi: 2933
Iscrizione: mercoledì 14 ottobre 2015, 9:33
Desktop: Gnome3
Distribuzione: Ubuntu 22.04 LTS Jammy Jellyfish
Sesso: Maschile
Località: Roma, Italia

Repository personale remoto. Rimozione componente?

Messaggio da DoctorStrange »

Buongiorno a tutti,

Di solito, uso per salvare un progetto al quale stò lavorando un repository remoto: BitBucket.

Questo repository è compatibile git, e quindi lo controllo dalla mia postazione locale tramite i soliti comandi git.

Lavorando sul mio portatile, ogni volta che faccio qualche modifica, la committo sul repository remoto con la combinazione dei comandi:

Codice: Seleziona tutto

git add .
git commit -m "Messaggio associato al nuovo commit"
git push
Ora ho un piccolo problema che non sò come risolvere.

In tempi abbastanza remoti, avevo fatto un commit che mi ha salvato sul repository un file temporaneo di prova, che era parte di tutto il bundle di sorgenti che compongono lo stesso progetto ma ora, dopo aver eliminato questo file di prova pur tentando nuovamente il commit ad ogni modifica, anche se quel file l'ho eliminato, continuo a trovarmelo nell'elenco dei files disponibili, quando vado a consultare l'elenco di tutti i files che compongono questo progetto.

Il motivo credo che sia dovuto al fatto che git funziona come una specie di "dump incrementale", ovvero, ogni volta che trova un nuovo file, lo sincronizza sul repository remoto ma, al seguente commit non lo rimuove, anche se a livello locale questo è stato eliminato.

Dunque la domanda: Esiste un modo di rimuovere manualmente e selettivamente questo file? Oppure, come si procede a fare una nuova sincronizzazione generale dell'intero repository? Intesa nel senso di rimuovere l'intero contenuto attualmente esistente su quella directory, e sostituirlo con i files aggiornati?

Si può fare da riga di comando? Avevo pensato di reinizializzare il git tramite

Codice: Seleziona tutto

git init
, ma non sono molto esperto di queste tecniche di sincronizazione e non vorrei ritrovarmi con un secondo repository remoto, clonato.

Vi ringrazio.

Un saluto.
DPD-
Scoppiettante Seguace
Scoppiettante Seguace
Messaggi: 453
Iscrizione: mercoledì 2 marzo 2011, 16:31
Desktop: KDE Plasma 5
Distribuzione: Kubuntu 18.04 (64 bit)
Sesso: Maschile
Località: Friuli
Contatti:

Re: Repository personale remoto. Rimozione componente?

Messaggio da DPD- »

Esatto git è incrementale. È possibile rimuovere il file anche se comunque rimarrà nello "storico".

Per questo se hai dei file temporanei devi inserire il loro nome in un file chiamato .gitignore nella directory principale del progetto git: in questo modo quei file è come se non esistessero per git.
Per maggiori info: Doc ufficiale Doc GitHub

Ora per rimuovere i file che hai già erroneamente sincronizzato puoi dare:

Codice: Seleziona tutto

git rm --cached FILENAME
Dettagli del mio computer: DELL Inspiron 3542 · Kubuntu 18.04 x64 KDE Plasma 5
Intel i5-4210U 1,7GHz × 4 thread · 8 GB DDR3L 1600MHz Ram + 8 GiB swap · Intel HD Graphics 4400
            
Avatar utente
DoctorStrange
Imperturbabile Insigne
Imperturbabile Insigne
Messaggi: 2933
Iscrizione: mercoledì 14 ottobre 2015, 9:33
Desktop: Gnome3
Distribuzione: Ubuntu 22.04 LTS Jammy Jellyfish
Sesso: Maschile
Località: Roma, Italia

Re: Repository personale remoto. Rimozione componente?

Messaggio da DoctorStrange »

Grazie ! Questa sera provo e ti faccio sapere se ha funzionato.
Scrivi risposta

Ritorna a “Applicazioni”

Chi c’è in linea

Visualizzano questa sezione: 0 utenti iscritti e 13 ospiti