= Istruzioni per usare Eiffel sul proprio sistema =

== Prima possibilità: installazione nativa ==

 1. Scaricare Eiffel Studio da [https://www.eiffel.org/downloads]
 1. Seguire le [https://www.eiffel.org/doc/eiffelstudio/Software%20Installation%20for%20EiffelStudio istruzioni specifiche per il proprio sistema]

== Seconda possibilità: usare Docker ==

 1. Occorre che sul proprio sistema sia installato e funzionante [https://www.docker.com Docker]
 1. `docker pull mmonga/docker-eiffel`

=== In ambiente Linux ===

 3. `docker run -ti --rm -e DISPLAY=$DISPLAY -v /tmp/.X11-unix:/tmp/.X11-unix -v $(pwd):/home/eiffel mmonga/docker-eiffel`

=== In ambiente Mac OS ===


 3. se non già presente, installare docker :  `brew cask install docker`
 4. se non già presente, installare xquartz: `brew cask install xquartz`
 5. cambiare preferenze xquartz permettendo le connessioni da client network, chiuderlo e farlo ripartire
 6. `xhost +` dall'xterm che appare al lancio di xquartz

{{{#!bash
export DISPLAY=host.docker.internal:0
docker run -ti --rm -e DISPLAY=$DISPLAY -v $(pwd):/home/eiffel mmonga/eiffel
}}}

=== In ambiente Windows ===

La procedura è probabilmente (è un sistema che non ho la possibilità di provare) simile a quella Mac OS: anche in questo caso serve un server X, p.es. [https://mobaxterm.mobatek.net/ MobaXterm]