Skip to main content

Usando GitHub Codespaces com GitHub Classroom

Você pode usar GitHub Codespaces como editor preferido nas suas atividades para dar aos alunos acesso a um ambiente do Visual Studio Code baseado no navegador com configuração em um clique.

Organization owners who are admins for a classroom can enable GitHub Codespaces for their organization and integrate GitHub Codespaces as the supported editor for an assignment. For more information on classroom admins, see "About management of classrooms."

Codespaces is available to use with GitHub Classroom for organizations that use GitHub Team. To find out if you qualify for a free upgrade to GitHub Team, see "Apply for an educator or researcher discount."

Sobre o Codespaces

GitHub Codespaces é um ambiente de desenvolvimento instantâneo e baseado na nuvem que usa um recipiente para fornecer linguagens, ferramentas e utilitários de desenvolvimento comuns. Codespaces também pode ser configurado, o que permite que você crie um ambiente de desenvolvimento personalizado que é o mesmo para todos os usuários do seu projeto. Para obter mais informações, consulte "Visão geral de GitHub Codespaces".

Uma vez que Codespaces é habilitado em uma organização ou empresa, os usuários podem criar um codespace a partir de qualquer branch ou commit em uma organização ou repositório corporativo e começar a desenvolver recursos de computação baseados na nuvem. Você pode se conectar a um codespace do navegador ou localmente usando o Visual Studio Code. To get started with Codespaces, see "Quickstart for Codespaces." To learn more about how Codespaces works, see "Deep dive into Codespaces."

Definir Codespaces como editor preferido para uma atividade nas atividades do GitHub Classroom é vantajoso para alunos e professores. Codespaces é uma boa opção para alunos que usam dispositivos emprestados ou sem acesso a uma configuração local do IDE, já que cada codespace é baseado na nuvem e não exige nenhuma configuração local. Os alunos podem lançar um codespace para um repositório de atividade no Visual Studio Code diretamente em seu navegador e começar a desenvolver imediatamente, sem precisar de qualquer configuração adicional.

Para atividades com ambientes de configuração complexos, os professores podem personalizar a configuração do contêiner de desenvolvimento para os codespaces de um repositório. Isto garante que, quando um aluno cria um codespace, ele será aberto automaticamente com o ambiente de desenvolvimento configurado pelo professor. Para obter mais informações sobre contêineres de desenvolvimento, consulte "Introdução a contêineres de desenvolvimento".

Note: Individual codespaces are automatically deleted if they are stopped and left unused for a prolonged period. For more information, see "Configuring automatic deletion of your codespaces."

Sobre o benefício de educação de Codespaces para professores verificados

O benefício da educação de Codespaces dá aos professores verificados um subsídio mensal gratuito de horas de Codespaces para ser usado em GitHub Classroom. Estima-se que o subsídio gratuito seja suficiente para uma classe de 50 com 5 atribuições por mês. em uma máquina central com 1 codespace armazenado por aluno.

Note: The Codespaces Education benefit is currently in public beta and subject to change. During the beta release, your organization will not be charged if you exceed the free allowance.

Para tornar-se um professor verificado, você precisa ser aprovado para obter um benefício de educador para o professor. Para obter mais informações, consulte "Candidatando-se a um benefício de professor ou educador."

Depois de ter a confirmação de que é um professor verificado, acesse GitHub Global Campus para professores para atualizar a organização para o GitHub Team. Para obter mais informações, consulte Produtos do GitHub.

Se você for elegível ao benefício de Educação de Codespaces, ao habilitar Codespaces em GitHub Classroom para sua organização, o GitHub adiciona automaticamente uma política de codespace para restringir os tipos de máquina para todos os codespaces da organização a duas máquinas principais. Isso ajuda você a aproveitar ao máximo o uso gratuito de Codespaces. No entanto, você pode alterar ou remover essas políticas nas configurações da sua organização. Para obter mais informações, consulte "Restringindo o acesso aos tipos de máquina."

Quando o benefício da educação de Codespaces sai do beta, se sua organização exceder o limite de uso gratuito de Codespaces, a sua organização será cobrada por uso adicional. Para obter mais informações, consulte "Sobre a cobrança do Codespaces".

Habilitando Codespaces para a sua organização

Codespaces está disponível para uso com GitHub Classroom para as organizações que usam GitHub Team. Se você for elegível para o benefício de educação de Codespaces, você deverá habilitar Codespaces por meio de GitHub Classroom ao invés de habilitá-lo diretamente nas configurações da sua organização. Caso contrário, sua organização será cobrada diretamente por todo o uso de Codespaces.

Habilitando codespaces para uma organização ao criar uma nova sala de aula

  1. Efetue o login em GitHub Classroom.

  2. Clique em Nova sala de aula.

    Botão "Nova sala de aula"

  3. Na lista de organizações, clique na organização que você gostaria de usar para a sua sala de aula. As organizações elegíveis para Codespaces terão uma observação que mostrará que são elegíveis. Opcionalmente, você pode criar uma nova organização. Para obter mais informações, consulte "Criar uma nova organização do zero".

    Escolha uma organização para a sala de aula com elegibilidade de codespaces

  4. Na página "Nomeie sua sala de aula", embaixo de "Codespaces na sua sala de aula, clique em Habilitar. Observe que isto irá habilitar Codespaces para todos os repositórios e usuários da organização.

    Habilite codespaces para organizações na página "Configuração básica de sala de aula"

  5. Quando você estiver pronto para criar a nova sala de aula, clique em Criar sala de aula.

Habilitando codespaces para uma organização por meio de uma sala de aula existente

  1. Efetue o login em GitHub Classroom.

  2. Na lista de salas de aula, clique na sala de aula que você deseja visualizar. Sala de aula na lista de salas de aula de uma organização

  3. No nome da sala de aula, clique em Configurações. Aba "Configurações" da sala de aula

  4. Em "GitHub Codespaces", clique em Habilitar. Isto habilitará Codespaces para todos os repositórios e usuários da organização. Uma nova política de codespace também é adicionada para restringir tipos de máquinas para todos os codespaces da organização a duas máquinas principais.

    Havilite codespaces para organizações nas configurações existentes da sala de aula

Você pode usar os mesmos métodos do método acima para desabilitar Codespaces também para sua organização. Observe que isso irá desabilitar Codespaces para todos os usuários e repositórios da organização.

Configurando uma atividade para usar Codespaces

Para disponibilizar Codespaces aos alunos para uma atividade, você pode escolher Codespaces como o editor compatível para a atividade. Ao criar uma nova atividade, na página "Adicionar seu código inicial e escolher seu ID on-line opcional" em "Adicionar um editor compatível", selecione GitHub Codespaces no menu suspenso.

Selecione os codespaces como editor compatível para a atividade

Se você usar o repositório de um modelo para uma atividade, você pode definir um contêiner de desenvolvimento no repositório para personalizar as ferramentas e tempos de execução disponíveis para os alunos quando executarem um codespace para trabalhar na atividade. Se você não definir um contêiner de desenvolvimento, GitHub Codespaces usará uma configuração padrão, que contém muitas das ferramentas comuns que seus alunos podem precisar para o desenvolvimento. Para obter mais informações sobre a definição de um contêiner de desenvolvimento, consulte "Adicionar uma configuração de contêiner de desenvolvimento ao seu repositório."

Iniciando uma atividade usando Codespaces

Quando um aluno abre uma atividade, o arquivo LEIAME do repositório inclui a recomendação de seu professor sobre o IDE, que ele deve usar para o trabalho.

Captura de tela da observação dos codespaces no README para um repositório de atividade do aluno

Os alunos podem iniciar um codespace novo ou existente, clicando no botão Código de na página principal do repositório de atividades e, em seguida, selecionando a aba Codespaces. Para obter mais informações, consulte "Criar um codespace".

Iniciar novo codespace no repositório das atividades

Os professores podem ver o codespace de cada aluno para uma atividade na página de visão geral da atividade. Você pode clicar no ícone de codespace no lado direito de cada linha do aluno para iniciar o codespace.

Visão geral da atividade do professor com os codespaces do aluno

Ao conectar-se a um codespace por meio de um navegador, o salvamento automático é habilitado automaticamente. Se você quiser salvar as alterações no repositório, você deverá fazer um commit das alterações e enviá-las por push para um branch remoto. Se você deixar seu codespace em execução sem interação durante 30 minutos por padrão, o seu tempo de execução irá esgostar-se e parar de executar. Os dados da última vez que você fez uma alteração serão preservados. Para obter mais informações sobre o ciclo de vida de um codespace, consulte "Ciclo de vida dos codespaces".