Re: [fossil-users] Rename --limit to --count and --test to --nochange

2013-04-24 Thread Edward Berner
On 4/23/2013 2:09 AM, Jan Nijtmans wrote: If there are other suggestions or remarks for command-line improvements, they are welcomed! Well... I've noticed that some commands use --verbose and some use --detail. Is that an accidental inconsistency or is there a deeper design principle

Re: [fossil-users] Rename --limit to --count and --test to --nochange

2013-04-24 Thread Jan Nijtmans
2013/4/24 Edward Berner e...@bernerfam.com On 4/23/2013 2:09 AM, Jan Nijtmans wrote: If there are other suggestions or remarks for command-line improvements, they are welcomed! Well... I've noticed that some commands use --verbose and some use --detail. Is that an accidental

Re: [fossil-users] Rename --limit to --count and --test to --nochange

2013-04-24 Thread Richard Hipp
On Wed, Apr 24, 2013 at 3:16 AM, Edward Berner e...@bernerfam.com wrote: On 4/23/2013 2:09 AM, Jan Nijtmans wrote: If there are other suggestions or remarks for command-line improvements, they are welcomed! Well... I've noticed that some commands use --verbose and some use --detail. Is

[fossil-users] Case (in-)sensitive web-pages

2013-04-24 Thread Jan Nijtmans
Hi all, I'm wondering why web-pages like /dir and /finfo (and their JSON-equivalents) use the case-sensitive setting: case- sensitivity is a property of the file system, but the file-system is not accessed by those web-pages at all. The reason I come to this, is that in

Re: [fossil-users] Case (in-)sensitive web-pages

2013-04-24 Thread Stephan Beal
On Wed, Apr 24, 2013 at 11:47 AM, Jan Nijtmans jan.nijtm...@gmail.comwrote: ...was not opened yet. The commands affected were /dir, /finfo and their JSON-equivalent, all web-pages Regarding the json variants: i don't recall explicitly adding case-sensitivity support to any of the JSON bits,

Re: [fossil-users] Case (in-)sensitive web-pages

2013-04-24 Thread Jan Nijtmans
2013/4/24 Stephan Beal sgb...@googlemail.com Regarding the json variants: i don't recall explicitly adding case-sensitivity support to any of the JSON bits, but (A) i have the memory of a goldfish and (B) someone else might have patched it later. i unfortunately can't offer any sensible