Skip to content

Commit

Permalink
mv documentation to #10
Browse files Browse the repository at this point in the history
  • Loading branch information
Rudxain authored May 14, 2024
1 parent 007f196 commit e517f6d
Showing 1 changed file with 0 additions and 12 deletions.
12 changes: 0 additions & 12 deletions .profile
Original file line number Diff line number Diff line change
Expand Up @@ -6,17 +6,5 @@ if [ -n "$BASH_VERSION" ]; then
[ -f "$HOME/.bashrc" ] && \
. "$HOME/.bashrc"
else
# If I were to unconditionally source `.sh/profile`,
# I would have to un-source it from `.bash_profile`,
# and rename all Bash startup-files
# to force Bash to source `.profile` instead.
# The problem is, users (including myself)
# would have to rm all Bash startup-files too.
. "$HOME/.sh/profile"
# A possible solution to the previous problem,
# is to inline `.sh/profile` into `.profile` and
# make `.bash_profile` source that instead.
# This doesn't seem to have any cons, only pros,
# such as making `.profile` fully POSIX-compliant
# and (mostly) shell-agnostic
fi

0 comments on commit e517f6d

Please sign in to comment.