Je pense que le titre l'explique déjà...
Vous avez apparemment la meilleure réponse. Je suppose que je dois être plus informatif pour apaiser la communauté.
Comme l'a dit @aperson, Geany est un très bon éditeur de texte - Il est léger et possède de nombreuses fonctionnalités. Il supporte également vala (vous devez installer valac
d'abord pour les caractéristiques complètes de la vala). Beaucoup de ses fonctionnalités sont similaires à celles d'un IDE, par exemple vous pouvez construire/exécuter en 1 clic.
Pour l'installer, exécutez sudo apt-get install valac geany
ou recherchez "valac" et "geany" dans le Centre logiciel Ubuntu.
Vous avez apparemment la meilleure réponse. Je suppose que je dois être plus informatif pour apaiser la communauté.
Comment diable peut-on compiler tous les fichiers d'un projet avec Vala ? Je sais qu'il y a des options de compilation, mais je n'ai pas la moindre idée de comment les lier pour pouvoir utiliser un fichier dans un autre.
Il y a un nouveau projet appelé Valama, vous pouvez vérifier :
https://github.com/Valama/valama
Il utilise gtksourceview, donc l'expérience de l'éditeur est similaire à gedit, mais il est encore en phase de développement précoce.
UPDATE : Il s'améliore chaque jour, il y a un développement actif en cours.
En avril 2020, ce projet n'a pas connu d'activité dans la branche principale depuis 5 ans. Il est mort. Je vous suggère d'essayer GNOME Builder ( wiki.gnome.org/Apps/Builder ) comme indiqué ci-dessous.
Il existe deux plugins pour Gedit qui prennent en charge Vala. Valencia et VTG ajoutent tous deux l'autocomplétion, la navigation dans les symboles et la gestion de base des projets par le biais de makefiles.
Valencia est le plus facile des deux à configurer car VTG dépend de gtksourcecompletion, mais VTG a fait plusieurs versions récentes.
Sans aucun rapport, mais je pense que votre blog Vala est sur le point de disparaître malheureusement. Il m'a été utile, à moi et probablement à d'autres aussi, alors c'est dommage de le voir disparaître.
Les développeurs de GNOME disposent désormais de GNOME Builder ( wiki.gnome.org/Apps/Builder ). REMARQUE : GNOME développe également Gedit.
Anjuta soutient Vala depuis le début. 2.31.3 et il y a un plugin sympa pour gedit. http://redmine.yorba.org/projects/valencia/wiki
Je ne peux pas recommander un IDE spécifiquement, mais je peux recommander Geany comme un excellent éditeur de texte.
Désolé, je ne peux pas répondre à votre question, alors voici une réponse à une question dont je connais la réponse.
Je ne vois pas l'utilité des IDE car les éditeurs de texte comme geany annulent en quelque sorte toutes les raisons pour lesquelles j'en ai besoin. Je suis désolé que vous n'ayez pas trouvé mon commentaire utile ; je pense que ma réponse est toujours pertinente pour la question posée.
SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.