| ... | @@ -95,7 +95,30 @@ Aqui está a relação de o que funciona em qual rede: |
... | @@ -95,7 +95,30 @@ Aqui está a relação de o que funciona em qual rede: |
|
|
| AGES | ✅ | ❌ |
|
|
| AGES | ✅ | ❌ |
|
|
|
| Externo | ❌ | ✅ |
|
|
| Externo | ❌ | ✅ |
|
|
|
|
|
|
|
|
|
### Recomendação
|
|
|
|
Por conta dessa limitação, aqueles que forem usar um computador em uma rede externa e também na AGES, é recomendado usar a rede Eduroam e clonar via HTTP, assim não é necessário ficar alterando o origin do repositório.
|
|
|
|
|
|
|
|
|
### Como alterar
|
|
|
|
Caso o git clone já foi feito e seja necessário mudar, para que não seja necessário apagar a pasta e possivelmente perder contribuições, é possível apenas trocar a url que o git está usando.
|
|
|
|
|
|
|
|
Para ver o link sendo usado atualmente, use o seguinte comando:
|
|
|
|
```
|
|
|
|
git remote -v
|
|
|
|
```
|
|
|
|
Ex:
|
|
|
|
|
|
|
|
|
|
|
|
Agora para alterar, use o seguinte comando, substituindo com o nome do remote e link para o repositório:
|
|
|
|
```
|
|
|
|
|
|
|
|
git remote set-url <remote> <https://tools.ages.pucrs.br/grupo/projeto.git>
|
|
|
|
|
|
|
|
```
|
|
|
|
Nesse caso ficaria dessa maneira:
|
|
|
|
|
|
|
|
```
|
|
|
|
git remote set-url origin https//tools.ages.pucrs.br/easy-choose/easychooseapi.git
|
|
|
|
```
|
|
|
|
|
|
|
|
### Erro SSH:
|
|
### Erro SSH:
|
|
|
 |
|
 |
|
|
|
\ No newline at end of file |
