Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Dernière révision Les deux révisions suivantes | ||
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 |