dodona

Dodona

Dodona é uma plataforma de exercícios on -line para aprender a codificar . Ele quer ensinar os alunos a programar da maneira mais significativa e eficaz possível. Dodona atua como co-professor on-line , projetado para dar a cada aluno acesso a educação de alta qualidade. O foco está nas correções automáticas e no fornecimento de feedback significativo sobre as soluções enviadas dos alunos.

Este repositório contém o código -fonte do aplicativo da web. Se você simplesmente deseja usar o Dodona, vá para https://dodona.be.

A documentação para usuários finais pode ser encontrada em https://docs.dodona.be.

Apoiando Dodona

Dodona é livre para usar nas escolas e gostaríamos de mantê -lo dessa maneira! Manter essa plataforma em funcionamento leva muito tempo, assim como apoiar centenas de escolas e milhares de estudantes. Se você deseja financiar o Dodona, pode encontrar mais informações sobre https://dodona.be/en/support-us/ ou entrar em contato, enviando um e-mail para [email protected].

Entrando em contato conosco

Existem várias maneiras de nos contatar:

• Para relatar um bug, use problemas do GitHub.
• Se você tiver uma pergunta para a qual a resposta pode ser útil para outras pessoas, use discussões do Github.
• Para perguntas mais específicas, use nosso formulário de contato, envie um email para [email protected] ou venha conversar conosco em nosso bate -papo geral ou em nosso bate -papo de suporte.

Desenvolvimento local

Se você deseja ajudar no desenvolvimento, os problemas marcados com o rótulo do aluno são um bom ponto de partida.

Configuração de desenvolvimento

1. Instale e inicie mysql ou mariadb .
2. Se estiver usando mysql , altere o sql-mode no bloco de configuração mysqld :

    sql-mode='STRICT_TRANS_TABLES,NO_ZERO_IN_DATE,NO_ZERO_DATE,ERROR_FOR_DIVISION_BY_ZERO,NO_ENGINE_SUBSTITUTION'
   

3. Crie um usuário dodona com acesso aos bancos de dados dodona e dodona_test-N . Você precisará de tantos bancos de dados de teste quanto threads da CPU.

    CREATE USER ' dodona '@ ' localhost ' IDENTIFIED BY ' dodona ' ;
   GRANT ALL ON dodona. * TO ' dodona ' @ ' localhost ' ;
   GRANT ALL ON dodona_test. * TO ' dodona ' @ ' localhost ' ;
   GRANT ALL ON ` dodona_test-0 ` . * TO ' dodona ' @ ' localhost ' ;
   ...
   GRANT ALL ON ` dodona_test-N ` . * TO ' dodona ' @ ' localhost ' ;

4. Instale a versão ruby correta usando o RVM (a versão usada atualmente pode ser encontrada aqui).
5. Instale a versão correta node usando nvm e YARN (qualquer versão do nó moderno deve fazer).
6. Executar bundle install e yarn install
7. Crie e semear o banco de dados com rails db:setup . (Se algo der errado com o banco de dados, você poderá usar rails db:reset para cair, reconstruir e renomear o banco de dados.) Se o erro "não poderá inicializar o juiz de Python", use SKIP_PYTHON_JUDGE=true rails db:setup
8. Execute bin/server para iniciar o servidor. Mais informações sobre como iniciar a configuração de desenvolvimento podem ser encontradas aqui. Dodona estará disponível em um subdomínio de localhost: http: //dodona.localhost: 3000.
9. A autenticação CAS não funciona em desenvolvimento. Em vez disso, o banco de dados de sementes da Etapa 7 fornece três usuários por meio de tokens de login. Os links de login relevantes são exibidos em um anúncio na página inicial de Dodona.

Avaliando exercícios localmente

Essas etapas não são necessárias para executar o servidor, mas você precisa do Docker para realmente avaliar exercícios.

1. Instale e inicie docker .
2. Run docker pull dodona/dodona-python

Se você quiser construir as imagens do Docker:

1. Clone o repositório do Docker-Images.
2. Construa uma imagem do Docker. Os scripts build.sh criam todas as imagens. Mas com os dados iniciais, apenas dodona-python é necessário. Você pode construir esta imagem com docker build --pull --force-rm -t "dodona-python" -f "dodona-python.dockerfile" . .

Carregando visualizações localmente

Essas etapas não são necessárias para executar o servidor, mas são necessárias para permitir que as visualizações carreguem.

1. Instale e inicie memcached .
2. Crie o seguinte arquivo tmp/caching-dev.txt na raiz do projeto.

Windows

Algumas jóias e dependências (como o memcached) não funcionam no Windows. Você deve usar o WSL 2 e executar tudo dentro do WSL. Isso significa que você usa WSL para o banco de dados, memcached, git, docker, etc.

Iniciando um servidor local

A maneira mais simples de iniciar o servidor é com o comando rails s Mas isso não processará a fila de envio, e o JavaScript será compilado pelo WebPack em segundo plano (sem saída quando algo der errado).

• Para processar a fila de envio, o trabalho atrasado precisa ser iniciado com o comando bin/delayed_job start .
• Com yarn build:css --watch o seu CSS é recarregado ao vivo (use sem a bandeira --watch quando precisar construir as folhas de estilo e a recarga ao vivo não é desejada).
• Com yarn build:js --watch seu JavaScript está recarregado ao vivo (use sem a bandeira --watch quando precisar construir o JavaScript e a recarga ao vivo não é desejada).

Para iniciar o servidor Rails, o trabalho atrasado, o CSS Bundling e o JS Bundling ao mesmo tempo, basta executar bin/server .

Isso tem uma decepção: a depuração com byebug está quebrada.

Subdomínio de localhost

Dodona usa subdomínios para descrições de exercícios de sandbox (que são páginas arbitrárias de HTML e podem ser usadas para fins maliciosos se não forem adequadamente em caixa de areia). Servimos a principal aplicação no desenvolvimento de http: //dodona.localhost: 3000 e descrições de exercícios de http: //sandbox.localhost: 3000.

Se isso não funcionar fora da caixa, você poderá adicionar as seguintes linhas ao seu arquivo /etc/hosts :

 127.0.0.1             dodona.localhost
127.0.0.1             sandbox.localhost

Linters e testes em execução

Para fingir o código, execute rubocop para rubi e yarn lint para JavaScript.

Temos testes nos testes de JavaScript, Ruby e System:

• Para JavaScript, execute yarn test
• Para os testes do sistema, execute bundle exec rails test:system
• Para os testes de rubi, execute bundle exec rails test

Há também uma verificação de tipo para código escrito no TypeScript. Isso pode ser executado com yarn typeCheck .

Pontas

• Use o PARALLEL_WORKERS Env var para especificar o número de threads a serem usados.
• Use TestProf para perfilar os testes de rubi
• Use bundle exec rails test filename para executar um único arquivo de teste, use bundle exec rails test filename:linenumber para executar um teste específico