]> arthur.barton.de Git - ConfigScripts.git/search
Install user/bash_profile as $HOME/.profile, if this file exists