Closed this issue 4 years ago · 1 comments
This would also solve the problem of what happens when one launches a profile a second time, without resorting to making the partition name unique