= 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 }}} === 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]