Seems kind of excessive to me. We already get into...
# geodesic
j
Seems kind of excessive to me. We already get into situations where the prompt takes on the order of a second to compute, which I find unacceptably slow. Not sure what the point is anyway. We already have (optionally) timestamped history:
Copy code
⨠ history 5
  602  2020-07-21 06:20:13: cd account-map/
  603  2020-07-21 06:20:22: make gbl-root.plan
  604  2020-07-21 06:20:47: make apply
  605  2020-07-21 06:35:37: h
  606  2020-07-21 06:35:52: history 5
Isn't that enough?