Philipp Wendler
Philipp Wendler
Sorry for the long delay. It was a busy time. > > What do you think about the following as an extension of the current feature list? > > That...
> Great! I like the changes in the commit. I think the only addition I would make is that `runexec` also takes care of CPU and memory limits (compared to...
I see, and I fully agree that this would be great to have. We could call it "Quick start guide" or "Runexec Tutorial" or so? It should then probably be...
> i could sketch a quickstart if you want (but it will need some polishing / iteration I think) I would be glad about this! Thank you a lot for...
Would be nice, indeed, thanks for the suggestion! I don't really know how to implement such a thing, though. In the meantime, if you have a terminal emulator that supports...
I just stumbled over the library [rich](https://pypi.org/project/rich/). If we want to implement a progress bar, this could be a good choice.
Thanks! The mixture of technical changes, new text, improvements, and move of text all in one commit makes it somewhat hard to review, though. For example, it is not visible...
> > This is something that we prefer to keep as it was: lines should not be too long, and thus line breaks should be added at semantically fitting places...
> Ok, this makes the diffs very tricky to look at, but I will try :) Hm? The whole idea of this is that it makes diffs easier to read...
> > Hm? The whole idea of this is that it makes diffs easier to read if the lines are not so long (for example on GitHub, which does not...