/CCS

Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc

Primary LanguageTeX

Error in user YAML: (<unknown>): mapping values are not allowed in this context at line 5 column 68
---
## Main of CCS

This main directory with some codes of programming languages that I work or worked!
Take and enjoy it!  
You can clone this repository or a download of a specific directory: <a href="https://downgit.github.io">  use de downgit ... easy and safe</a>

cc  - Claudio Cesar

---

(TO BE TRANSLATED one day -- TO DO) Fazendo Download de diretórios em particular

  1. Escolha o diretorio do seu interesse

  2. Vá para o site de download -> https://minhaskamal.github.io/DownGit

  3. Melhore e retorne


Repetindo ...

  1. Escolha o diretório a ser copiado
  2. Copie este endereço do GitHub
  3. Vá para este site ...
  4. Cole o endereço desejado
  5. Boa sorte!

Criando PULL REQUESTS (Para os alunos)

  1. Crie uma conta no github

  2. Vá para o repositório do CCS, isto fará uma copia sua

  3. Execute um git clone no seu terminal:

    git clone https://github.com/h3nnn4n/main_ccs
    

    Isto ira copiar os arquivos para o seu computador. Mude o h3nnn4n para o seu nome de usuario.

  4. Edite os arquivos.

  5. Utilize

    git status
    

    para ver os arquivos que foram modificados. Por exemplo, para a edição deste texto eu tive:

    On branch master
    Your branch is up-to-date with 'origin/master'.
    Changes not staged for commit:
      (use "git add <file>..." to update what will be committed)
      (use "git checkout -- <file>..." to discard changes in working directory)
    
        modified:   README.md
        
    no changes added to commit (use "git add" and/or "git commit -a")
        
    

    Isto significa que o arquivo README.md foi modificado.

  6. Utilize

    git add README.md
    

    para marcar o arquivo para o commit futuro, em seguida

    git commit -m 'Mensagem aqui explicando o que voce modificou'
    
  7. Agora basta enviar as modificações para o seu github:

    git push
    

    na primeira vez que voce executar este comando, pode acontecer dele pedir para executar outro comando, basta copiar e colar.

  8. Agora basta ir para o seu repositorio no (github)[https://github.com/], clicle em pull requests. Ali vai aparecer as moduficações que voce fez. Clique em new pull request. Depois em create pull request. Explique na caixa de texto o que você modificou. E clique novamente em create pull request. Pronto!

  9. Agora é só o CC aceitar a modificação.