How to rename file case-sensitive?

[Igor Peshansky]

On Thu, 16 Aug 2007, Eric Blake wrote:

> According to Jeff Hawk on 8/14/2007 9:22 AM:
> >> How about:
> >>
> >> $ mv foo bar && mv bar foo
> >
> > Looks like a NOOP to me
>
> Not if you were renaming 'Foo' to 'foo'.
>
> Wait - did you hear that?  I thought I saw a hippo in the other room, let
> me look again.... Hmm, am I dreaming things?  When I pick up on old
> threads, I get sort of jumpy, in case something were to happe

Uh-oh, something hipponed...
	Igor
-- 
				http://cs.nyu.edu/~pechtcha/
      |\      _,,,---,,_	    pechtcha@cs.nyu.edu | igor@watson.ibm.com
ZZZzz /,`.-'`'    -.  ;-;;,_		Igor Peshansky, Ph.D. (name changed!)
     |,4-  ) )-,_. ,\ (  `'-'		old name: Igor Pechtchanski
    '---''(_/--'  `-'\_) fL	a.k.a JaguaR-R-R-r-r-r-.-.-.  Meow!

Belief can be manipulated.  Only knowledge is dangerous.  -- Frank Herbert