but this is totally undocumented. It is the only format which contains that option. Looking through the git history, it seems that it was previously called local-time, and its implementation originally lived within the tcsh_history_format before being converted into a general option via 9b8ceb5cb0fd2e1. This comment seems pertinent:
/*
* NB: We convert any displayed dates to gm time, so we need to
* convert this time to local and then back to gmt.
*/
but I don't yet understand what's going on.
---
Want to back this issue? **[Post a bounty on it!](https://www.bountysource.com/issues/39380420-convert-to-local-time-is-undocumented?utm_campaign=plugin&utm_content=tracker%2F449456&utm_medium=issues&utm_source=github)** We accept bounties via [Bountysource](https://www.bountysource.com/?utm_campaign=plugin&utm_content=tracker%2F449456&utm_medium=issues&utm_source=github).
The
tcsh_history
format contains:but this is totally undocumented. It is the only format which contains that option. Looking through the git history, it seems that it was previously called
local-time
, and its implementation originally lived within thetcsh_history_format
before being converted into a general option via 9b8ceb5cb0fd2e1. This comment seems pertinent:but I don't yet understand what's going on.