[ros-general] Documenst and settings

[Jan Tisje]

"KJK::Hyperion" <noog at libero.it> schrieb am Sat, 17 Apr 2004 00:28:30 +0200

> At 09.34 16/04/2004, you wrote:
> >>Mmmh, why not "Users" or "Home" with the first letter uppercase?
> >Because in the terminal it is difficult for typing :) (Shift + "u")
> 
> Windows is case-insensitive 

even on unix you may force bash to do tab completion case insensitive,
so you may type "use\t" which will turn to "User". 
Does make sense on windows, but is not default setting of cygwin bash.
:-(

Jan