User story

As a Compass user
I want to export documents as a JSON
So that I use my data with other tools

Acceptance Criteria

• Compass can export documents to a valid (extended) JSON file
• When filter, project, sort or limit are specified for the collection the user is exporting, the user has the option to use them as the settings for the export (https://mongodb.invisionapp.com/share/BVNOZB4DYT3#/screens/347756471)
• When an error happens during the export
  • Compass shows a meaningful error message
  • Compass says how many documents it managed to export
• During the export, progress is displayed in the export modal

Notes

• Note that I am suggesting we export valid JSON instead of JSON lines. Valid JSON makes more sense because it can be used also with tools outside the MongoDB ecosystem
• In the export screen (https://mongodb.invisionapp.com/share/BVNOZB4DYT3#/screens/347756471) the code snippet with filter, project, sort or limit is not editable
• We export the result of the query (or the full dataset) and not only what is displayed by Compass in the first page of results