eval $( export_a_red_prompt.pl )