login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for #317 two files that differ only in case revision 2 of 3

1 2 3
Editor: gdr
Time: 2008/01/24 22:22:41 GMT-8
Note:

added:

From gdr Thu Jan 24 22:22:40 -0800 2008
From: gdr
Date: Thu, 24 Jan 2008 22:22:40 -0800
Subject: 
Message-ID: <20080124222240-0800@axiom-wiki.newsynthesis.org>

I believe this problem has been fixed in both OpenAxiom and FriCAS.  I suspect that
it was also fixed in the old Axiom.

Submitted by : (unknown) at: 2007-11-17T22:25:34-08:00 (16 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

On Friday, October 13, 2006 10:19 AM Ben Collins-Sussman wrote:

On 10/13/06, Alfredo Portes wrote:

 Now, a checkout of Google trunk I get this other error:

 Error: In directory 'C:\Documents and
 Settings\alfredo\Desktop\axiom\axiom\src\hyper\pages'
 Error: Can't copy 'C:\Documents and Settings\alfredo\Desktop\axiom\axiom\src\hyper\pages\ .svn\tmp\text-base\poly.pht.svn-base'
  to 'C:\Documents and Settings\alfredo\Desktop\axiom\axiom\src\hyper\pages\.svn\tmp\poly.pht.tmp.tmp':
 The system cannot find the file
 Error: specified.

This is a classic windows error: you're trying to check out a directory which contains two files that differ only in case. (POLY.pht and poly.pht). This works fine on Unix systems, but not on win32 filesystems which are case-insensitive. The two files simply cannot coexist in the same directory on windows... windows considers them to be the same file.

You need to clean up the files in that repository directory, so that the directory can happily exist on win32. Either have a unix person delete redundant files (are POLY.pht and poly.pht identical?), or rename them.

I believe this problem has been fixed in both OpenAxiom? and FriCAS?. I suspect that it was also fixed in the old Axiom.