= 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 -t mmonga/eiffel`

=== In ambiente Linux ===

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

=== In ambiente Mac OS ===

 3. occorre avere installato un server X (p.es. [https://www.xquartz.org/ XQuartz])
 4. 

{{{#!bash
# il comando seguente serve per conoscere il numero IP della prima interfaccia
export MYIP=$(ifconfig en0 | grep inet | awk '$1=="inet" {print $2}')
export DISPLAY=$MYIP:0
xhost + $MYIP 
docker run -ti --rm -e DISPLAY=$DISPLAY -v $(pwd):/home/eiffel mmonga/eiffel
}}}