Increase bash history size
Use short hostname for machine-specific files