mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-07 15:22:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update wikipage Linux. (Signed-off-by:jocelyn).

Browse Source 
git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2028 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eiffel-org
2018-05-28 09:03:32 +00:00
parent 778589c3ed
commit a2cfb220d6
1 changed files with 18 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
documentation/18.01/eiffelstudio/getting_started/setup-and-installation/software-installation-eiffelstudio/eiffelstudio-linux.wiki
View File

@@ -56,6 +56,7 @@ cp -r /mnt/cdrom/EiffelXX .</code>
This will install the EiffelStudio files into /usr/local/EiffelXX. To complete the installation of EiffelStudio, jump to the next section, [[#Setting up EiffelStudio|Setting up EiffelStudio]].
<span id="setting_up"></span>
==Setting up EiffelStudio==
Once the files have been installed, you should define the following environment variables in order to run EiffelStudio:
@@ -78,6 +79,23 @@ set path = ($path $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin)</code>
If you are using the Enterprise edition, please follow the instructions of the next section, [[#Registering the Enterprise Edition|Registering the Enterprise Edition]], otherwise jump to the [[#Using EiffelStudio|Using EiffelStudio]] section at the end of this document.
== Installing EiffelStudio on Ubuntu ==
An alternative to previous solution for Ubuntu, is to use the ppa repository.
```shell
sudo add-apt-repository ppa:eiffelstudio-team/ppa
sudo apt-get update
sudo apt-get install eiffelstudio
```
It installs EiffelStudio using the linux layout, so you don't need to set specific environment variable. The executable are located under `/usr/bin`, libraries under `/usr/lib/eiffelstudio`
To reinstall, or update:
```shell
sudo apt-get purge eiffelstudio
sudo apt-get update
sudo apt-get install eiffelstudio
```
<span id="registering"></span>
==Registering the Enterprise Edition==