<div dir="ltr"><div class="gmail_quote"><div dir="ltr">Manny Romero <<a href="mailto:mannyromero@mail.com">mannyromero@mail.com</a>> schrieb am Di., 29. Aug. 2017 um 15:03 Uhr:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div style="font-family:Verdana;font-size:12.0px"><div>
<div>I am a Linux user (Mint 18) trying to install Idris. I don't know the slightest thing about computers.</div></div></div></div></blockquote><div><br></div><div>Sorry I have to ask… But if you do not know anything about computers as you said, why do you want to install Idris?</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div style="font-family:Verdana;font-size:12.0px"><div> I barely managed to install Linux, and later the full GHC, based on ample instructions available on the Web. (Still don't actually recall how I did it!)</div></div></div></blockquote><div><br></div><div>Installing Linux (the mainstream distributions at least) is not different from installing windows… Insert CD, select language, select username, wait, be happy…</div><div> </div><div>I really do not want to hurt your feelings, but why are you wading through these things you do not understand? Can't you try something else which is just slightly out of your comfort zone? Or find someone in your area guiding you through everything?</div><div><br></div><div><br></div></div></div>