diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-07-13 23:07:07 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-13 23:07:07 +0000 |
commit | eb8473cb530d37e78f81023ff2fe1ca6b457b989 (patch) | |
tree | d0b8397a560ce10465b5b025633962b7e0182016 /config/root-.profile | |
parent | 4f2dc79d0d657e12c322317ee917e2cac3f767b6 (diff) |
Initial revision
Diffstat (limited to 'config/root-.profile')
-rw-r--r-- | config/root-.profile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/config/root-.profile b/config/root-.profile new file mode 100644 index 00000000..5bfd9833 --- /dev/null +++ b/config/root-.profile @@ -0,0 +1,7 @@ +# Execute the user's .root_profile file if it exists rather than this one. + +if [ $USER && $USER != root ]; then + . ~USER/.root_profile +else + export PATH=/sbin:/bin:/local/bin +fi |