Hallo wieder,
@LO: habe gestern (d.h. heute nach Mitternacht) noch die Variante mit HP + .deb durchgeführt, hat bestens funktioniert. Eine .sources-Datei wird dabei allerdings nicht angelegt.
Wenn ich zukünftig das Verfahren wiederholen möchte, weil eine neue Version da ist, Prozedur einfach wiederholen, oder muss ich vor die vorhandene Version deinstallieren? (ebenfalls mit dpkg?)
Sollte ich irgendwann doch auf's ppa umsteigen wollen (wegen automatischer Aktualisierung), muss ich dann vorher (mit dpkg) deinstallieren/purgen?
@gambas: Hatte ich nur versuchshalber drauf, brauche ich derzeit bis auf Weiteres eh nicht.
Danke für alle Tipps!