I think for the moment this is what we have but I'll think of a way to polish the init.sh script later although I don't really believe there will be a clean solution for the private PPA problem, I just don't want to make things need a manual setup.
« Back to merge proposal
I think for the moment this is what we have but I'll think of a way to polish the init.sh script later although I don't really believe there will be a clean solution for the private PPA problem, I just don't want to make things need a manual setup.