fatalerrors/profile
1
0
Fork 0
Code Issues Pull Requests Projects Releases 7 Wiki Activity

fix bash/zsh test, some cosmetics

Browse Source
This commit is contained in:
Geoffray Levasseur
2023-10-06 11:22:10 +02:00
parent 0d7c7e9ab7
commit 18f1bc1543
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
profile.sh
View File

@@ -35,7 +35,7 @@
# * OF SUCH DAMAGE.
# ------------------------------------------------------------------------------
if [[ ! $(echo $SHELL | grep -e bash|zsh) ]]; then
if [[ ! $SHELL =~ bash|zsh ]]; then
echo "That environmet script is designed to be used with bash or zsh being the shell."
echo "Please consider using bash or zsh instead, or patch me ;)!"
return 1
@@ -86,7 +86,7 @@ else
export MYPATH=$PROFILE_PATH
fi
if [[ ! -e $MYPATH/profile.sh ]]; then
echo "[ Warning ] Path detection failed, using pwd..."
echo "[ Warning ] Path detection failed, trying to use pwd..."
MYPATH=$(pwd)
if [[ ! -e $MYPATH/profile.sh ]]; then
echo "[ Error ] Impossible to determine installation path, pretty much nothing will work."
@@ -106,6 +106,10 @@ fi
[[ -d ~/bin ]] && pathappend ~/bin
[[ -d ~/.local/bin ]] && pathappend ~/.local/bin
# ------------------------------------------------------------------------------
# Default values are set here and will be overloaded with config file if any
# ------------------------------------------------------------------------------
# Set bash history
export HISTSIZE=50000
export HISTIGNORE="&:[bf]g:exit"