But.....
As far as I understand, the portable PDB format doesn't support including the source code which we use for source stepping when debugging.
Does this mean that the linux version of proget does not support source stepping? Or do you guys have another way of making this work without Sourcelink or is Sourcelink the only option?