a real bash config, other small tweaks