<br><br><div class="gmail_quote">On Wed, Sep 9, 2009 at 1:28 PM, Duncan Coutts <span dir="ltr">&lt;<a href="mailto:duncan.coutts@worc.ox.ac.uk">duncan.coutts@worc.ox.ac.uk</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On Tue, 2009-09-08 at 09:58 -0500, Jeff Wheeler wrote:<br>
&gt; On Tue, Sep 8, 2009 at 9:17 AM, Peter Verswyvelen&lt;<a href="mailto:bugfact@gmail.com">bugfact@gmail.com</a>&gt; wrote:<br>
&gt;<br>
&gt; &gt; Ouch, right, I forgot the default is global. It works fine with cabal<br>
&gt; &gt; install --user. And of course I could have edited the default config<br>
&gt; &gt; file, setting user-install: True<br>
&gt; &gt;<br>
&gt; &gt; Well, maybe for newbies this might be a bit confusing.<br>
&gt;<br>
&gt; Yep, I agree. I&#39;m not sure why Cabal defaults to --global on Windows,<br>
&gt; but I found it quite counter-intuitive having come from a Linux<br>
&gt; environment. I forgot about the different default for some time.<br>
<br>
</div>It was because last time we discussed this, the Windows users seemed to<br>
be of the opinion that things were simpler with global installs since<br>
the %PATH% would be right by default and &quot;everyone runs as Administrator<br>
anyway&quot;. That may well be different now.<br>
<br>
If the Windows users can come to a consensus on whether the default<br>
should be global or user, then we can easily switch it. The same applies<br>
for the default global or user installation paths.<br></blockquote><div><br></div><div>I think it&#39;s morally right to run as user by default. Yes, the windows culture has some legacy that may, on occasion, make it slightly harder to use &quot;well behaved&quot; programs, but it&#39;s fairly minor these days.</div>
<div><br></div></div>-- <br>Sebastian Sylvan<br>