On Fri, Apr 19, 2013 at 12:36 AM, Eli Barzilay wrote:
> Three hours ago, Patrick King wrote:
> > It really was a
> > simple cut & paste of the whole directory tree, and the use of case
> > higher up the tree doesn't seem to cause any problem.
>
> Windows is "case preserving" which means that it d
Three hours ago, Patrick King wrote:
>
> I'm not particularly surprised, other than what appeared to be
> "Private" in Windows really IS "Private" in Linux. It really was a
> simple cut & paste of the whole directory tree, and the use of case
> higher up the tree doesn't seem to cause any probl
On Thu, Apr 18, 2013 at 9:23 PM, Sean McBeth wrote:
> Windows filesystem is not case sensitive. Well, it can be in some weird
> cases, but legacy wise it is not.
>
It is very good at looking like it's case sensitive, layering the
descriptive filenames over the case-insensitive names "under the ho
Windows filesystem is not case sensitive. Well, it can be in some weird
cases, but legacy wise it is not. Unix file systems absolutely are case
sensitive. Your error is not surprising at all.
On Apr 18, 2013 9:15 PM, "Patrick King" wrote:
> I have broken free of Bill Gates' shackles, as I have th
I have broken free of Bill Gates' shackles, as I have threatened to do for
so long, installing Ubuntu alongside Windows
with fairly minimal drama.
However, when I copied and pasted my existing source code tree over to the
Linux side, code like this...
#lang racket/base
; Source/Project/Private/fi
5 matches
Mail list logo
