JetBrains publie le plugin EduTools 2023.1

Par:
fredericmazue

jeu, 26/01/2023 - 12:34

Le plugin EduTools 2023.1 de JetBrains procure une fonctionnalité que les créateurs de cours attendaient et qui leur permet d'activer, de désactiver et de personnaliser les inspections. De cette façon, les fonctionnalités intelligentes de l'IDE telles que la mise en évidence des problèmes de code, la recherche de bogues probables et l'identification des problèmes d'orthographe ne feront pas le travail des étudiants.

Par exemple, lorsqu'un professeur enseigne comment utiliser lambda en Java, il souhaitera que ses étudiants convertissent eux-mêmes leur code en expression lambda au lieu de s'appuyer sur les suggestions de l'IDE. Le plugin EduTools 2023.1 permet de désactiver la fonction d'inspection de code correspondante dans l'IDE.

Le plugin EduTools 2023.1  peut être installé depuis Market Place de JetBrains, ici.