> On Nov 22, 2014, at 9:24 AM, Joshua Pettus <jshpet...@gmail.com> wrote:
> 
> Either way the command doesn’t seem to work. Do you know of an alternative 
> for git to work?

You need to do it on a case-sensitive partition. If you have a Linux box or VM 
available that’s probably the easiest way. Failing that, format a USB stick 
using Disk Utility and with “case sensitive” checked (if you’re on Yoemite, 
it’s in the list drop-down that defaults to Mac OS Extended (Journaled) ).

Another option would be to copy the files to some other directory, using `git 
rm strings/*` to delete the existing ones, then copy or move the files back 
with the new names, then 
  git add strings/*
  git commit

After you’ve made the change in that repository, try pulling it into a repo on 
a case-preserving (i.e. normal) partition to make sure it works. 

Regards,
John Ralls


_______________________________________________
Gtk-osx-users-list mailing list
Gtk-osx-users-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gtk-osx-users-list

Reply via email to