On Thu, Feb 11, 2016 at 03:21:21PM +0100, Andreas Enge wrote: > On Thu, Feb 11, 2016 at 12:11:27PM +0100, Pjotr Prins wrote: > > There is already a slurm package. > > Did I overlook anything?
No, I also checked. The point is that https://packages.debian.org/sid/slurm is a network tool. So, it is about a (potential) name clash. I am happy to call the cluster manager by its name since it is going in first. Pj. --