On Tue, 26 Dec 2017 09:00:16 +0100, Ralf Mardorf wrote: >I suspect you want migrate to it for a production environment, right? ^^^^ this should read "won't" -- $ pacman -Q linux{,-rt{,-cornflower,-pussytoes}}|awk '{print $2}' 4.14.8-1 4.14.6_rt7-1 4.11.12_rt16-1 4.14.8_rt9-2