dot-files and other configurations for HAL