diff --git a/documentation/18.01/eiffelstudio/getting_started/setup-and-installation/software-installation-eiffelstudio/eiffelstudio-linux.wiki b/documentation/18.01/eiffelstudio/getting_started/setup-and-installation/software-installation-eiffelstudio/eiffelstudio-linux.wiki index 4b8860bc..8dcaf13f 100644 --- a/documentation/18.01/eiffelstudio/getting_started/setup-and-installation/software-installation-eiffelstudio/eiffelstudio-linux.wiki +++ b/documentation/18.01/eiffelstudio/getting_started/setup-and-installation/software-installation-eiffelstudio/eiffelstudio-linux.wiki @@ -56,6 +56,7 @@ cp -r /mnt/cdrom/EiffelXX . 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]]. + ==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) 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 +``` + ==Registering the Enterprise Edition==