function reexport { 
  echo export "$*" >> $HOME/.exports; 
  source $HOME/.exports; 
}