Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

An option to log local time timestamps into --log-file. #1427

Open
max0x7ba opened this issue Nov 27, 2021 · 0 comments
Open

An option to log local time timestamps into --log-file. #1427

max0x7ba opened this issue Nov 27, 2021 · 0 comments

Comments

@max0x7ba
Copy link

Is your feature request related to a problem? Please describe.
Command line option --log-timestamp logs time passed since the start of rdm, not the local time.

Describe the solution you'd like
Another command line option that logs the local time.

Describe alternatives you've considered
I read man rtags-rdm in Ubuntu 20.04 LTS, which refers to rdm 2.37.130, and couldn't find an option for the timestamp to be the local time.

Additional context
rdm 2.37.130 packaged in Ubuntu 20.04 LTS seems to be 2 years old. I didn't try compiling a newer version.

My ~/.rdmrc:

--log-file=~/rdm.log
--no-Wall
--rp-nice-value 15
--enable-compiler-manager
--no-comments
--log-timestamp
@max0x7ba max0x7ba changed the title An option to log absolute timestamps into --log-file. An option to log local time timestamps into --log-file. Nov 27, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant