Philipp Wendler

Results 317 comments of Philipp Wendler

This is a good question. On our side nothing has happened. It seems that there have been some [releases](https://www.npmjs.com/package/react-vis?activeTab=versions) for react-vis, but they are not listed on GitHub and I...

Seems plausible, at least as a first glance it looks good. But maybe there are other libraries as well, would be good to get some overview.

Does not seem so, I cannot find any source that would indicate that it can, and all tutorials for validating DTDs in Python point to non-standard libraries.

> With `cgroups2`, the [systemd unit `benchexec-cgroups`](https://github.com/sosy-lab/benchexec/blob/38b27bd4ce1f182f68735d20a6da3dc75b0d73cb/debian/benchexec-cgroup.service) is not required anymore, because BenchExec can use pystemd to set things up, right? Yes, exactly.

> I am trying to package BenchExec for NixOS (see #920). I decided to go for the `cgroupsv2` branch directly, and would like to report. Thanks a lot! > `runexec...

> > > `runexec --debug --no-container echo Test` complains that "Cgroup subsystem cpuset is not available. Please make sure it is supported by your kernel and available." Note that cpuset...

> > > `runexec --debug --no-container echo Test` complains that "Cgroup subsystem cpuset is not available. Please make sure it is supported by your kernel and available." Note that cpuset...

> > Also, I had to run a few commands (see below) in alternation with `runexec`. It would be helpful to print them all at once, but I don't know...

Yes, this is correct. I decided to not do this in order to not overcomplicate things, because for example when installing a Debian package it is not easy to answer...

Hm, let's leave it open because it is a valid feature request.