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 3 of 3

1 2 3
Editor: kratt6
Time: 2008/01/24 23:32:53 GMT-8
Note:

added:

From kratt6 Thu Jan 24 23:32:53 -0800 2008
From: kratt6
Date: Thu, 24 Jan 2008 23:32:53 -0800
Subject: 
Message-ID: <20080124233253-0800@axiom-wiki.newsynthesis.org>

Status: open => closed 

Please reopen if you consider this to be still a problem on axiom.

Submitted by : (unknown) at: 2007-11-17T22:25:34-08:00 (17 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.

Status: open => closed

Please reopen if you consider this to be still a problem on axiom.