CodeLab IDE & Simulators

Section HOWTO

Comment supprimer une instance "fantôme" de CodeLab ?

Dans certains cas de plantage de CodeLab (exceptionnels) il peut être nécessaire de "killer" l'application avec l'une des commandes suivantes :

Sous Linux / MacOS :

pgrep -fl codelab | cut -d " " -f1 | xargs kill

Sous Windows :

taskkill /IM codelab.exe /F

Document under Creative Commons License CC-BY-NC-ND
Copyright © 2022 Jérôme Lehuen, Le Mans Université, France
Version 20-09-2023