Server manifests and dotfile .bash_aliases modified