On an Ubuntu system, when I say add-apt-repository ppa:gambas-team/gambas3 does this survive any further reboots and updates? Will I have to repeat it whenever I want to update the whole system, or does it automagically pull any newer version from there and ignore the Ubuntu repos? Just to make sure... And thanks for any hints! Rolf