| 19 May 2023 |
 raitobezarius | Pol: == true n'ont pas d'intérêt pour les booléens | 14:34:01 |
 Pol | ah oui juste !!! | 14:34:26 |
| Pol | Je corrige. | 14:34:33 |
| Pol | Fixed. | 14:39:24 |
| raitobezarius | Tu écris "Code server", ça peut utiliser Codium ou c'est toujours un Visual Code Server au sens du trademark MSFT? | 14:40:20 |
| Pol | Ca utilise VSCode en mode server | 14:40:46 |
| raitobezarius | est ce qu'il y a une bonne raison de pas appeler ça VSCode Server? | 14:41:25 |
| Pol | Donc tu utilises VSCode dans ton navigateur au final. c'est assez pratique. | 14:42:14 |
| Pol | Alors la, bonne question. | 14:42:18 |
| raitobezarius | In reply to @drupol:matrix.org
Donc tu utilises VSCode dans ton navigateur au final. c'est assez pratique. ouais je connais le high level principe | 14:42:27 |
| Pol | C'est produit par coder/code-server | 14:42:30 |
| raitobezarius | je t'ai ajouté une suggestion pour la desc | 14:43:15 |
| raitobezarius | qui me paraît plus précise | 14:43:17 |
| Pol | Je check. | 14:43:18 |
| raitobezarius | parce que "Code server" est trop générique | 14:43:20 |
| raitobezarius | reviewed sinon | 14:43:22 |
| Pol | Merci pour la reactivite en tout cas, ca fait plaiz' | 14:43:33 |
| Pol | Par contre, "Code server for VSCode" je trouve ca bizarre | 14:45:43 |
| Pol | * Par contre, "Code server for VSCode" je trouve ca bezarre | 14:46:05 |
| raitobezarius | bah techniquement c'est pas VSCode server, c'est le "code server" pour l'éditeur VSCode | 14:48:04 |
| raitobezarius | Code server for VSCode editor | 14:48:13 |
