Groups | Search | Server Info | Login | Register
Groups > pt.comp.so.linux > #3212
| From | Patricia Ferreira <pferreira@example.com> |
|---|---|
| Newsgroups | pt.comp.so.linux |
| Subject | Re: Como limpar um repositório GIT |
| Date | 2024-09-09 21:02 -0300 |
| Organization | A noiseless patient Spider |
| Message-ID | <87tteope98.fsf@example.com> (permalink) |
| References | <vbn71u$2fbfr$2@dont-email.me> |
João Jerónimo <jj.mailspam@yahoo.com> writes: > Olá, > > Costumo usar o GIT como ferramenta para colocar programas em > produção. Basicamente, quando numa máquina desenvolvo código, insiro-o > no repositório remoto, com: > git add . > git commit > git push > Já na outra máquina, alguns scripts fazem rotineiramente comandos que, > em esquema, envolvem: > git pull --all > git pull > git checkout tag_que_acompanha_a_revisão_estável > > Contudo, costumo encontrar alguns problemas nesta linha de trabalho, > como por exemplo: A linguagem é Python, e o Python compila o código > para bytecode, deixando a working tree cheia de diretórios __pycache__ > e .pyc. Estes ficheiros estão todos .gitignorados, mas não são > apagados pelos comandos acima referidos. Gostaria, contudo, de manter > limpas estas cópias que se encontram em produção. > > A solução que tenho atualmente é que, antes de mais nada, os script > fazem sempre: > # sudo rm -rf * > # git checkout . > > Estes dois comandos conseguem restaurar um repositório GIT para ele > ficar como se tivesse acabado de ser clonado e navegado para um > determinado commit. > > O que eu queria era acabar com o comando «sudo rm -rf *», que para > além de ser um comando estanho ao git, é perigoso, e substituí-lo por > outro comando que faça a mesma coisa. > Alguém conhece alguma solução mais apropriada do que esta? Tenho a impressão de que você executa o software no mesmo diretório em que o código-fonte é gerenciado pelo git. Uma ideia é você não fazer isso. Diga make install dir=/usr/local/my/place a seu shell e então execute o software a partir de lá. Quando quiser recomeçar, diga make reinstall dir=/usr/local/my/place a seu shell. Claro, você precisa escrever o Makefile.
Back to pt.comp.so.linux | Previous | Next — Previous in thread | Next in thread | Find similar
Como limpar um repositório GIT João Jerónimo <jj.mailspam@yahoo.com> - 2024-09-09 17:17 +0100
Re: Como limpar um repositório GIT Patricia Ferreira <pferreira@example.com> - 2024-09-09 21:02 -0300
Re: Como limpar um repositório GIT João Jerónimo <jj.mailspam@yahoo.com> - 2024-09-10 11:04 +0100
Re: Como limpar um repositório GIT Daniel Cerqueira <dan.list@lispclub.com> - 2024-09-10 13:30 +0100
Re: Como limpar um repositório GIT Patricia Ferreira <pferreira@example.com> - 2024-09-10 14:25 -0300
Re: Como limpar um repositório GIT Daniel Cerqueira <dan.list@lispclub.com> - 2024-09-10 21:22 +0100
Re: Como limpar um repositório GIT João Jerónimo <jj.mailspam@yahoo.com> - 2024-09-24 10:38 +0100
Re: Como limpar um repositório GIT Daniel Cerqueira <dan.list@lispclub.com> - 2024-09-24 12:46 +0100
csiph-web