Programmes, outils, jeux, etc. pour la finale

9 jan. 2019 à 20:07:08 Modifié le 9 jan. 2019 à 20:11:03

Je viens de faire une pull request sur https://github.com/prologin/sadm et https://github.com/prologin/envlive.

https://github.com/prologin/sadm/pull/133

https://github.com/prologin/envlive/pull/14

Edit: C'est la build de la branche stable que j'ai demandé à ajouter avec les pull requests, car on peut la récupérer depuis le répertoire Community d'Arch, alors que la build de la branche Insiders n'est que dans l'AUR. (https://aur.archlinux.org/packages/visual-studio-code-insiders/)

Je pense que la version stable est largement suffisante, je crois aussi que le magasin d'extensions n'est pas disponquand on a une build autre que celle de Microsoft.

Merci beaucoup pour tes PR ^^

Est-tu sûr qu'on ne peut pas installer d'extensions avec la build open source?

Je veux la version Insiders donc j'utilise le paquet visual-studio-code-insiders de l'AUR, qui récupère la build de Microsoft.

Je n'utilise ni la build de la version stable de Microsoft, ni la build open source de la version stable.

Même si je peux me passer des thèmes et peut-être même de l'extension Vim, j'ai besoin de l'extension C/C++, et je pense que tous les utilisateurs de VS Code ont besoin de l'extension faite pour le langage qu'ils utilisent.

La build propriétaire de la version stable est elle aussi, comme la build propriétaire de la version Insiders, dans l'AUR: https://aur.archlinux.org/packages/visual-studio-code-bin/

Je ne sais pas si l'association voit un inconvénient à rajouter un paquet qui n'est que dans l'AUR, il y a quand même des paquets de l'AUR dans les listes que j'ai vue.

11 jan. 2019 à 08:19:02 Modifié le 11 jan. 2019 à 08:20:21

Salut,

Vous n'aurez pas internet pendant la finale et les régionales, donc si vous avez besoins d'extensions il faut qu'elles soient directement sur l'environnement

[EDIT] ce que je veux dire par là, c'est qu'il faudra sûrement une autre PR :)

Comment feront les utilisateurs d'autres éditeurs de code, comme (Neo)Vim ? Ne pourront-ils pas utiliser d'autres plugins que ceux installés par vos vimrc/init.vim ?

Ou peuvent-ils venir avec un support physique, comme une clé USB, sur lequel ils stockeront des plugins Vim ?

Si c'est le cas, les utilisateurs de VS Code pourraient récupérer les fichiers VSIX des extensions qu'ils veulent utiliser et les installer ainsi: https://code.visualstudio.com/docs/editor/extension-gallery#_install-from-a-vsix

Sinon, il faudrait télécharger les extensions sur les ordis à l'avance et avoir un script Bash ou quelque chose pour permettre d'installer les extensions qu'on veut, parmi celles qui ont été téléchargées à l'avance.

Accepteriez-vous une PR qui ferait ça ?

Les supports physiques sont également interdits, donc pas de plugins vim.

Lors de la finale nous fournissons des plugins par défaut sur vim (https://github.com/prologin/sadm/tree/master/python-lib/prologin/hfs/skeleton/.vim), mais pas pour les régionales.

Préinstaller certaines extensions pour vscode pour les langages que l'on supporte semble envisageable, reste à voir comment permettre l'installation à l'utilisateur et ou comment l'automatiser.

Les PR sont toujours bienvenue :)

Est-ce que le plugin Rust est installé sur IntelliJ IDEA ? (sinon je ne vois pas clairement cargo; je comprends qu'il soit peu utile ici mais est-il installé avec Rust)

overmighty

Est-ce qu'un membre de l'équipe peut m'expliquer comment fonctionnent https://github.com/prologin/sadm et https://github.com/prologin/envlive pour que je puisse faire la PR pour préinstaller des extensions VS Code ?

En pratique, il y a peu de chances qu'on accepte une PR qui soit relativement compliquée à maintenir pour un éditeur spécifique. Il n'y a pas de package Archlinux pour ces plugins ?

Peut-être que la façon la plus simple de faire, ce serait d'en faire un package AUR si c'est possible, et nous donner le nom ensuite.

Je viens d'écrire ce script Bash pour pré-installer des extensions Visual Studio Code:

https://gist.github.com/OverMighty/16ad23ddd8e8da8b7b85cb066aaf2462

Il suffit de l'appeler comme si on appelait pacman -S mais avec les noms des répertoires GitHub des extensions qu'on veut installer à place de noms de paquets.

Exemple:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
overmighty ~ $ ./vscode-extension-installer.sh Microsoft/vscode-cpptools Microsoft/vscode-python VSCodeVim/Vim equinusocio/vsc-material-theme

Installing 4 Visual Studio Code extensions...

(1/4) Microsoft/vscode-cpptools
  -> Downloading
  -> Installing
(2/4) Microsoft/vscode-python
  -> Downloading
  -> Installing
(3/4) VSCodeVim/Vim
  -> Downloading
  -> Installing
(4/4) equinusocio/vsc-material-theme
  -> Downloading
  -> Installing

Dans cet exemple, les 4 extensions suivantes ont été installées:

https://github.com/Microsoft/vscode-cpptools

https://github.com/Microsoft/vscode-python

https://github.com/VSCodeVim/Vim

https://github.com/equinusocio/vsc-material-theme

Est-ce que ce script pourrait facilement être intégré dans envlive et sadm ou faut-il que je crée un paquet AUR ?

Je ne l'ai pas vu l'année dernière mais cela serait possible d'ajouter le jeu Battle for Wesnoth (dernière version) pour la finale avec un mode jeu local qui fonctionne ?

19 mai 2019 à 14:34:31 Modifié le 19 mai 2019 à 14:35:18

Le package est wesnoth mais je ne sais pas trop comment il faut faire la Pull Request. Quelqu'un pourrait-il le faire pour moi ?

Moyen chaud, ça va prendre du temps à faire marcher, mais si quelqu'un fourni un package archlinux tout fait ça sera évidemment bienvenu ;-)

Est-il possible d'installer rustup ? ( https://rustup.rs/ , ne s'installe pas en root, seulement en utilisateur classique dans $HOME ) C'est pour avoir la doc de rust en hors-ligne avec rustup doc.

Et est-il aussi possible d'installer le plugin Rust pour VSCode ? J'utilise celui-là perso : https://open-vsx.org/extension/rust-lang/rust

Finalement, je sais pas si les "language servers" sont autorisés pour Prologin mais si c'est possible pourrait-il y avoir les components rls, rust-src et rust-analysis ? On peut les installer avec la commande: rustup component add rls rust-src rust-analysis

Répondre au sujet

Vous devez vous enregistrer ou vous connecter pour poster des messages.