我们如何在使用 Arangosh 终端时跟踪时间?

How can we tracked the time when using Arangosh terminal?

我正在从 arangosh 一次性批量插入 ~40k 文档。但是 arangosh 没有提供执行命令所用时间的特性。执行命令时,是否可以与 Arango Shell 集成以跟踪时间(毫秒)?

可以使用JavaScript的内置Date对象实现如下:

/* start time measurement */
var start = Date.now();

/* perform actual operation */
for (i = 0; i < 40000; ++i) { 
  db.collection.insert({ }); /* whatever */ 
} 

/* print elapsed time since start */
print("elapsed time:", (Date.now() - start) / 1000.0, "s");