]> arthur.barton.de Git - ConfigScripts.git/history - install.sh
Install user/bash_profile as $HOME/.profile, if this file exists
[ConfigScripts.git] / install.sh
2008-08-07 Alexander BartonInstall user/bash_profile as $HOME/.profile, if this...
2008-08-07 Alexander BartonMake sure that $UID is set.
2008-08-07 Alexander BartonOnly try to make backups if the destination file alread...
2008-08-07 Alexander BartonInitial import into GIT repository.