$prompt_file