You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
Is your feature request related to a problem? Please describe.
Command line option
--log-timestamp
logs time passed since the start ofrdm
, 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
:The text was updated successfully, but these errors were encountered: