Programmes, outils, jeux, etc. pour la finale

Hello, est-ce qu'une PR a été effectuée pour VS code ?

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.

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)

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 ?

tim54000

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)

Salut, comme tu peux le voir ici, cargo fait partie du paquet rust de archlinux https://www.archlinux.org/packages/community/x86_64/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 ?

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 ?

Ah meeeerde, j'ai pas vu ton message :(

Bon bah l'an prochain :D

Je sais pas si c'est possible mais je propose d'ajouter brawlhalla (il est dispo sur steam).

Steam ça vait être chaud probablement !!

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

sudo apt install sl et sudo snap install goland --classic (bon pour le deuxième je rêve pas trop ^^)

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