Como fazer pull de um repositório Git no Linux

Git define um processo de controle de versão de como os projetos devem ser compartilhados. Existem muitos sites que permitem hospedar seus projetos Git. GitHub é a opção mais popular, Bitbucket é outra alternativa popular, ambos permitem contas gratuitas que podem criar repositórios públicos ou privados ilimitados. O GitLab oferece uma alternativa auto-hospedada que permite o desenvolvimento privado sem depender de hospedagem de terceiros.

O processo de primeiro baixar um repositório Git é chamado de clonagem. A clonagem inclui todas as informações sobre o repositório no momento, no entanto, para mantê-lo atualizado ao longo do tempo, você precisa obter novas versões. Para isso, basta abrir uma janela de terminal no diretório com a versão local do repositório e digitar o comando “git pull”.

A operação desse comando é particularmente simples se você deseja apenas baixar uma versão atualizada do repositório; a versão local será atualizada para corresponder à versão remota. Você pode, no entanto, ver que pode haver problemas se você fizer modificações em sua versão local.

O comando “git pull” na verdade executa dois comandos separados “git fetch” e “git merge FETCH HEAD”. O subcomando “git fetch” puxa especificamente a versão mais recente do repositório online e a armazena temporariamente. O subcomando “git merge FETCH HEAD” então mescla suas mudanças locais com a versão baixada, com commits mais recentes sendo preferidos.

Dica: Um “git commit” é o envio de uma mudança, é possível ter vários commits locais e remotos que fazem coisas iguais ou diferentes. Os commits locais não são visíveis para a versão remota até que as alterações sejam enviadas. Cada confirmação detalha exatamente quais mudanças foram feitas e incluem um carimbo de data / hora.

Conflitos entre versões locais e remotas

Idealmente, em um cenário de mesclagem, não haverá conflitos e o processo de mesclagem será concluído automaticamente. As mesclagens podem ser particularmente fáceis se poucas alterações foram feitas ou se as alterações locais não interferem nas alterações remotas. Se, no entanto, houver mudanças complexas conflitantes na mesma parte do código, o Git lançará um erro de mesclagem.

Neste ponto, você pode abortar a fusão com o comando “git merge –abort” ou tentar resolver manualmente os conflitos. Os comandos “git mergetool” e “git diff” fornecem um exemplo gráfico das diferenças que devem ajudar a tornar o mais fácil possível ver quais mudanças precisam ser aplicadas manualmente para permitir que a fusão seja concluída. Depois de resolver todos os conflitos, digite o comando “git merge –continue” para concluir a fusão.

Como fazer pull de um repositório Git no Linux

O comando “git mergetool” abrirá uma ferramenta gráfica como esta para ajudá-lo a resolver conflitos manualmente.



Leave a Comment

Como forçar o Google Chrome a sempre mostrar URLs completos

Como forçar o Google Chrome a sempre mostrar URLs completos

O Chrome, por padrão, não mostra o URL completo. Você pode não se importar muito com esse detalhe, mas se por algum motivo precisar que o URL completo seja exibido, instruções detalhadas sobre como fazer o Google Chrome exibir o URL completo na barra de endereço.

Como recuperar o Reddit antigo

Como recuperar o Reddit antigo

O Reddit mudou seu design mais uma vez em janeiro de 2024. O redesenho pode ser visto por usuários de navegadores de desktop e restringe o feed principal ao mesmo tempo que fornece links

Como copiar conteúdo de livros didáticos com o Google Lens

Como copiar conteúdo de livros didáticos com o Google Lens

Digitar sua frase favorita do seu livro no Facebook é demorado e cheio de erros. Aprenda a usar o Google Lens para copiar texto de livros para seus dispositivos.

Corrigir endereço DNS do servidor não encontrado no Chrome

Corrigir endereço DNS do servidor não encontrado no Chrome

Às vezes, quando você está trabalhando no Chrome, você não consegue acessar determinados sites e recebe um erro “O endereço DNS do servidor de correção não foi encontrado no Chrome”. Veja como você pode resolver o problema.

Guia rápido sobre como criar lembretes no Google Home

Guia rápido sobre como criar lembretes no Google Home

Os lembretes sempre foram o grande destaque do Google Home. Eles certamente tornam nossa vida mais fácil. Vamos fazer um tour rápido sobre como criar lembretes no Google Home para que você nunca deixe de cuidar de tarefas importantes.

Netflix: alterar senha

Netflix: alterar senha

Como alterar sua senha no serviço de streaming de vídeo Netflix usando seu navegador preferido ou aplicativo Android.

Como desativar o prompt de restauração de páginas no Microsoft Edge

Como desativar o prompt de restauração de páginas no Microsoft Edge

Se você quiser se livrar da mensagem Restaurar páginas no Microsoft Edge, simplesmente feche o navegador ou pressione a tecla Escape.

Bitwarden: Como alterar sua dica de senha mestra

Bitwarden: Como alterar sua dica de senha mestra

Se a dica de senha do Bitwarden puder ser melhorada, estas são as etapas para alterá-la em menos de um minuto.

Imagens que não aparecem no Google Doc: por que e como corrigir

Imagens que não aparecem no Google Doc: por que e como corrigir

Se suas imagens não aparecerem em um Documento Google, o problema pode ocorrer por vários motivos. Aqui estão algumas soluções potenciais

Ocultar e exibir linhas e colunas no Planilhas Google

Ocultar e exibir linhas e colunas no Planilhas Google

Domine o aplicativo Planilhas Google aprendendo como ocultar e exibir colunas. Você pode fazer isso em computadores e dispositivos móveis.