Git version fixes
This commit is contained in:
parent
7e61a337fa
commit
9209b7ce4a
11
home/.bashrc
11
home/.bashrc
|
@ -92,6 +92,17 @@ function title {
|
||||||
PROMPT_COMMAND="echo -en \"\033]0;$1\007\""
|
PROMPT_COMMAND="echo -en \"\033]0;$1\007\""
|
||||||
}
|
}
|
||||||
|
|
||||||
|
# Custom git command that overrides $PATH settings
|
||||||
|
function git {
|
||||||
|
if [ -x "/usr/local/bin/git" ]; then
|
||||||
|
/usr/local/bin/git $@
|
||||||
|
elif [ -x "/usr/bin/git" ]; then
|
||||||
|
/usr/bin/git $@
|
||||||
|
else
|
||||||
|
echo "git isn't installed"
|
||||||
|
fi
|
||||||
|
}
|
||||||
|
|
||||||
# Case-insensitive searching.
|
# Case-insensitive searching.
|
||||||
shopt -s nocaseglob
|
shopt -s nocaseglob
|
||||||
|
|
||||||
|
|
|
@ -19,4 +19,4 @@
|
||||||
branch = auto
|
branch = auto
|
||||||
|
|
||||||
[push]
|
[push]
|
||||||
default = matching
|
default = simple
|
||||||
|
|
Loading…
Reference in New Issue
Block a user