sudo deprecated for 'become'

use dist-named includes. fix apt-repository for rpi

(0) -10 -2 +2 +10 +30 tip

mercurial