Hvordan importerer man Mongodb ObjectId fra CSV-fil ved hjælp af mongoimport?

For alle med dette problem, som forsøger at indsætte ObjectIds fra JSON - det ER i høj grad muligt med en smule modifikation af de eksisterende data.

Erstat:

{ "_id" : ObjectId("5143afc66d44e1ceb372121e"),
  "student_id" : ObjectId("5143af326d44e1ceb372121d"),
  "name" : "II-4" }

Med:

{ "_id" : {"$oid":"5143afc66d44e1ceb372121e"},
  "student_id" : {"$oid":"5143af326d44e1ceb372121d"},
  "name" : "II-4" }

Brug blot et regulært udtryk til at erstatte ObjectId-ombrydningen.