Re: [arch-general] Segmentation fault and (possibly) file system bug while removing gnome-extra