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

Add current time or process id to process messages #3161

Closed
octaeder opened this issue Jun 13, 2023 · 7 comments
Closed

Add current time or process id to process messages #3161

octaeder opened this issue Jun 13, 2023 · 7 comments
Labels

Comments

@octaeder
Copy link
Contributor

Describe the feature and the current behavior/state

I would like to ask what you think about following:

  1. Prepend a time string (say format HH:mm:ss) to process notifications (I already use this and could provide a PR):

    grafik

  2. Insert a process id in process notifications like "Process x started: ..."

Who will benefit with this feature?

ad 1: Since I have long running compiles I track compile time. This helps me plan my time slots for other things.
ad 2: Sometimes several processes are running but not all end successfully (preview and compile). But then it's not clear which of the processes was in error.

Any Other info

@sunderme
Copy link
Member

I would prefer to keep it minimal and as non-technical as possible.
So "process exited normally after xyz seconds" ?
For process id, maybe tooltip ? link ?

@octaeder
Copy link
Contributor Author

I think there were some discussion about elapsed time last year, but without changes.
So simplest solution should be what the image shows. This needs a change of one line, the time text inserted has constant length, and no need to figure out what 4.200 seconds are or how to convert to a sensible format.

I have no idea what the code should look like for handling pids. So I would leave it to others (likely you 😀). But I think that I should see the pid directly in the text for comparison. Otherwise I would have to hover over each link/tooltip to match start and end. Or should the link in the end message should jump to the start message?

@sunderme
Copy link
Member

I don't think, that putting the current time in front of the process info is helpful.
It is irrelevant most of the time, an then you need to subtract times in your head to get the info which you want ...
Also, it simply looks to technical...

@octaeder
Copy link
Contributor Author

What format will elapsed time be? Same as time in the image (so not only in seconds)?
"process started" and printing full command is not technical?

@octaeder
Copy link
Contributor Author

and for long running processes start time is of interest since it tells me how long it may take to finish (when I have knowledge about runtimes) or when it will finish

@sunderme
Copy link
Member

I don't want clutter. And most of the time, the time stamp is simply uninteresting and takes away from the important info.
So, any interactive info (link/tooltip) is fine, but static information irrelevant for most is not desirable.

@stefanlloyd
Copy link

I would find a timestamp useful, as in editing sessions, it would remind me when I last re-compiled the tex file.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

3 participants