add option to ignore case in key names

[jameskermode]

I uploaded a file containing some properties named DFT_force and others named dft_force. I know I can rename them with abcd rename-key, but since in ASE and QUIP case is ignored for property names it would be good to have an option to do this in abcd. Maybe this should even be the default?

[fekad]

This can only work if never two store keys which only differ in their case. Would that be ok?

[jameskermode]

I think this would be ok, yes. Maybe start with a non-default option to ignore case and see how it goes?

[fekad]

It woud be nice if we stored properties in case sensitive mode, but optionally allowed the user to search case insensitively. for this to work, I have to find out if Mongo supports case insensitive searches. if it doesn't then we can decide to either not have this option or to actually store everything in lower case.

[fekad]

As far as I know, MongoDB doesn't have any option to ignore the cases for the keys:

• https://stackoverflow.com/questions/6780087/mongodb-case-insensitive-key-search
• https://stackoverflow.com/questions/30895587/mongodb-query-with-case-insensitive-schema-element
• https://stackoverflow.com/questions/43287872/mongo-query-thats-case-insensitive-regarding-field-name

There is a way to create case insensitive indices but not for the

• https://docs.mongodb.com/manual/core/index-case-insensitive/

So the possible options:

1. store everything in lower case
2. store everything in a case sensitive way but having an optional flag for upload to convert every key to lower case (of course the rename-key is still available if needed)
3. store everything in a case sensitive way but having a nice tutorial for the rename-key command

[fekad]

Any decision about this?

[fekad]

Decision: default to the lower casing keywords with a command-line option to not do it. + pre-check @ upload