git://git.iain.cx/iain / profile.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8e823f) | patch
Shortcut to setting PROFILE_HOME.
authorIain Patterson <me@iain.cx>
Fri, 26 Sep 2014 08:39:59 +0000 (09:39 +0100)
committerIain Patterson <me@iain.cx>
Fri, 26 Sep 2014 08:48:12 +0000 (09:48 +0100)
commit84e1a34d8cc3838b7666ba26f02648cdee4906c6
tree089a3be212d0b13fa6a322e705645628b3369d4dtree | snapshot
parenta8e823fa2005ab190af0461c967f353b7dbb5a51commit | diff
Shortcut to setting PROFILE_HOME.

Allow sourcing .bash_profile directly to set up PROFILE_HOME.

A user can now simply run ``. /profile/path/.bash_profile'' instead of
``PROFILE_HOME=/profile/path; .  $PROFILE_HOME/.bash_profile'' to use
these scripts.
.bash_profile diff | blob | history
Home directory stuff.