Buchbinder, Barry (NIH/NIAID) [E] wrote:
> As I understand it, </usr/bin> is mounted on </bin>; everything should be
> in </cygdrive/c/cygwin/bin> and nothing in </cygdrive/c/cygwin/usr/bin>.
Yes, spot on.
> I then looked at everything that was in both </cygdrive/c/cygwin/usr/bin>
> and </cygdrive/c/cygwin/bin>. - 'ls' showed that everything had identical
> timestamps and permissions. - 'cmp' showed that everything were identical.
> I'd really rather have only one copy of each file. So my main questions
> are: - Is it is safe for me to delete the duplicated files from </usr/bin>
> and move the unique files from </usr/bin> to </bin>? - Is there something
> else that I should do?
Yep. Make sure and use cmd.exe or windows explorer to do it, don't use bash
out of habit!
> Questions for my education (meaning no answer is expect): - Is this normal
> or common?
Not normal or common but not unheard-of either.
> - How does/might the duplication happen?
No idea. The only time anything like it ever happened to me (out of dozens
of cygwin installations), it was just a handful of files.
>- Would emptying
> </cygdrive/c/cygwin/usr/bin> and reinstalling everything work? (I'd do the
> experiment but I'm reluctant.)
Likewise :)
cheers,
DaveK
--
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
Problem reports: http://cygwin.com/problems.html
Documentation: http://cygwin.com/docs.html
FAQ: http://cygwin.com/faq/
