On Mon, 21 May 2018 19:47:51 +0200 Jochen Spieker <ml@well-adjusted.de> wrote: > > $ man dpkg > > ... > > --get-selections > > --set-selections Dann lieber: apt-mark showmanual > manually-installed.txt sudo apt-mark manual $(cat manually-installed.txt) J. Wieso lieber?