My Linux customizations.