Some bash overrides for default ubuntu options