Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
eiffelstudio [Le 20/06/2014, 19:27]
tioui [Installation manuelle d'EiffelStudio]
eiffelstudio [Le 06/05/2018, 15:32]
L'Africain petite mise en forme
Ligne 1: Ligne 1:
-{{tag>​programmation IDE}}+{{tag>​programmation IDE BROUILLON}}
  
 ---- ----
Ligne 12: Ligne 12:
 de génie logiciel intégrés qui permettent d'​avoir une documentation logicielle toujours valide, à jour et exacte. de génie logiciel intégrés qui permettent d'​avoir une documentation logicielle toujours valide, à jour et exacte.
  
 +===== Pré-requis =====
 + 
 +  * Disposer des [[:​sudo|droits d'​administration]].
 +  * Il faut [[:​tutoriel:​comment_installer_un_paquet|installer]] les dépendances **[[apt>​libgtk2.0-dev,​libxtst-dev|libgtk2.0-dev et libxtst-dev]]**.
  
 +===== Installation=====
 +====Depuis un PPA  ====
  
-===== Installation d'EiffelStudio ​depuis ​le PPA  ​=====+Pour installer ​EiffelStudio ​avecdepuis un PPA : 
 +  * [[:​PPA|Ajouter ​le PPA]] **ppa:​eiffelstudio-team/​ppa**((https://​launchpad.net/​~eiffelstudio-team/​+archive/​ubuntu/​ppa)) dans vos sources de logiciels;  
 +  * [[:​tutoriel:​comment_modifier_sources_maj#​recharger_la_liste_des_paquets|Recharger la liste des paquets]];​ 
 +  * [[:​tutoriel:​comment_installer_un_paquet|Installer le paquet]] **[[apt>​eiffelstudio]]** ou bien **[[apt>​eiffelstudio18.01]]**. ​
  
-Pour installer EiffelStudio avec apt-get depuis le PPA, ouvrir un terminal et utiliser les lignes de commande suivante: 
  
-<code> +==== Installation manuelle==== 
-sudo add-apt-repository ppa:​eiffelstudio-team/​ppa  +<note>Cette installation ne fonctionne que pour un seul usager. Les autres usagers n'​auront pas droit d'​écriture dans les répertoires d'​Eiffel. Cette méthode est recommandé pour ceux qui voudrait avoir plusieurs version d'​EiffelStudio sur leur système.</note>
-sudo apt-get update  +
-sudo apt-get install eiffelstudio +
-</code>+
  
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
-===== Installation manuelle d'​EiffelStudio ===== 
-<​note>​Cette installation ne fonctionne que pour un seul usager. Les autres usagers n'​auront pas droit d'​écriture dans les répertoires d'​Eiffel</​note>​ 
-<​note>​Cette méthode est recommandé pour ceux qui voudrait avoir plusieurs version d'​EiffelStudio sur leur système.</​note>​ 
-Premièrement,​ il faut installer les dépendances:​ 
-<​code>​sudo apt-get install libgtk2.0-dev libxtst-dev</​code>​ 
  
 Vous devez ensuite aller chercher l'​archive d'​EiffelStudio sur le site d'​[[https://​www2.eiffel.com/​download/​download_info.aspx?​id=eiffelstudio&​info=false&​mirrors=public|ISE Eiffel]] ou bien sur [[http://​sourceforge.net/​projects/​eiffelstudio/​files/​|SourceForge]]. Dans les exemples ci-dessous, la version 14.05 pour linux x86 32 bits est utilisée. Vous devez ensuite aller chercher l'​archive d'​EiffelStudio sur le site d'​[[https://​www2.eiffel.com/​download/​download_info.aspx?​id=eiffelstudio&​info=false&​mirrors=public|ISE Eiffel]] ou bien sur [[http://​sourceforge.net/​projects/​eiffelstudio/​files/​|SourceForge]]. Dans les exemples ci-dessous, la version 14.05 pour linux x86 32 bits est utilisée.
Ligne 57: Ligne 34:
  
 Ouvrez un terminal (Applications->​Accessoires->​Terminal),​ aller dans le répertoire dans lequel vous avez téléchargé l'​archive et décompresser-la. Ouvrez un terminal (Applications->​Accessoires->​Terminal),​ aller dans le répertoire dans lequel vous avez téléchargé l'​archive et décompresser-la.
-<​code>​+<​code ​bash>
 cd Répertoire_Contenant_l_archive cd Répertoire_Contenant_l_archive
 tar xvfj Eiffel_*_gpl_*-linux-*.tar.bz2 tar xvfj Eiffel_*_gpl_*-linux-*.tar.bz2
 </​code>​ </​code>​
  
-Déplacez le nouveau répertoire créé dans /​usr/​local/​ +Déplacez le nouveau répertoire créé dans **/usr/local/** 
-<​code>​+<​code ​bash>
 sudo mv Eiffel_??​.??​ /​usr/​local/ ​  # Votre mot de passe vous sera demandé ​ sudo mv Eiffel_??​.??​ /​usr/​local/ ​  # Votre mot de passe vous sera demandé ​
 </​code>​ </​code>​
Ligne 69: Ligne 46:
  
 Pour démarrer EiffelStudio,​ lancer dans un terminal: Pour démarrer EiffelStudio,​ lancer dans un terminal:
-<​code>​+<​code ​bash>
 export LANG=C export LANG=C
 export ISE_EIFFEL=/​usr/​local/​Eiffel_14.05 export ISE_EIFFEL=/​usr/​local/​Eiffel_14.05
Ligne 114: Ligne 91:
 A noter que l'​exécution d'un programme en mode console dans Eiffel Studio nécessite que celui-ci soit lancé depuis une console pour voir le flux de sortie. A noter que l'​exécution d'un programme en mode console dans Eiffel Studio nécessite que celui-ci soit lancé depuis une console pour voir le flux de sortie.
 </​note>​ </​note>​
-Si eiffelstudio ouvre correctement,​ c'est réussi. Vous pouvez maintenant démarrer eiffelstudio par terminal ou par lanceur graphique (Alt+F2). Vous pouvez également ​faire un nouvel élément dans le menu application en utilisant l'​outil ​[[:alacarte]]. Vous n'avez qu'à créer un nouvel élément (lanceur) ​et mettre dans le champ commande:+Si eiffelstudio ouvre correctement,​ c'est réussi. Vous pouvez maintenant démarrer eiffelstudio par terminal ou par lanceur graphique (Alt+F2). Vous pouvez également ​créer ​un  [[:raccourci-lanceur]] et mettre dans le champ commande :​
 <​code>​ <​code>​
 eiffelstudio eiffelstudio
  • eiffelstudio.txt
  • Dernière modification: Le 06/05/2018, 15:32
  • par L'Africain