Git e GitHub
Existem várias maneiras para usar git e github; se você já possui conta no github e já sabe usar git, este documento não é pra ti!
- Instale o programa
git
se não tá instalado já no teu sistema. - Crie o arquivo de configuração no teu homedir, chamado
.gitconfig
. Um exemplo:
A terceira secção,[user] name = Fulano fu Lano email = fulano@fulamail.com [core] editor = nvim [alias] last = log -1 HEAD part = add --patch
alias
tem dois exemplos principalmente pala ilustrar quão fácil é criá-los. (Em inglês “alias” significa algo parecido com “apelido”.) Em cima eu tô definindo dois verbos como… “açúcar sintáctico” para o git: Assim, executando
no meu sistema, o que será executado égit part
git add --patch
- Cria uma conta no github.com e atualize teu profile no Zulip para a incluir.
- Use o website do GitHub para criar um novo projeto: (maizinho (+) → New repository).
- Escolhe o nome do repositório (provavelmente eu pedi pra ser um específico—verifique!)
- Public? sim
- Bota uma descrição se quiser.
- Não adicione nenhum dos
README
,.gitignore
,LICENSE
, e continua. - Siga as instruções na próxima tela, que tem uns caminhos diferentes;
sugiro o «create a new repository on the command line»,
ou seja, executar os seguintes comandos dentro da pasta que vai virar o repo:
Nesse exemplo, tua pasta é acd courses/fmc1/fmc1repo echo "# fmc1repo" >> README.md git init git add README.md git commit -m "first commit" git branch -M main git remote add origin git@github.com:USERNAME/fmc1repo.git git push -u origin main
fmc1repo
dentro dacourses/fmc1
. Veja bem as informações sobre nomes de repos, pastas, arquivos, etc.
Depois disso, como uso?
Agora, com tudo isso feito, eu sugiro usar na seguinte forma, pelo terminal:
Navegar para achar tua pasta, tipo…
cd courses/fmc1/fmc1repo
e dar os comandos lá.
Por exemplo, vamos dizer que tu criou o NatRecInd.v
.
O fato que tá no diretório não significa que automaticamente tá sendo “rastreado”/visto pelo git.
Adicionamos o arquivo então no git e commit’a tal mudança:
git add NatRecInd.v
git commit -m 'first commit'
(Nas tuas próximas mensagens seja mais descritivo com teus commit messages!)
Para adicionar varios arquivos use algo do tipo git add *.v
ou git add *
, etc.
O .gitignore
vai tomar cuidado para não adicionar arquivos que devem ser ignorados.
Agora vamos dizer que tu editou o NatRecInd.v
.
Basta pedir ao git cadastrar as mudancas (para cada uma ele vai perguntar se tu queres
que ela entre no próximo commit):
git part
(Lembre que isso foi um alias, se tu não o definiu o git vai reclamar por justa causa;
e se não quer definir tal alias, precisa dar o comando mesmo git add --patch
.)
Tu responda y/n para cada mudanca se quiser entrar nesse commit
git commit -m 'proved that plus is associative`
Escolhe mensagens curtas, verdadeiras, e informativas/descritivas! E mandar isso para o github:
git push
Se tu tá trabalhando em mais que um computador, antes de começar editar coisas, use o
git pull
para pull’ar os commits já push’ados do outro canto.