Added possibility to clone repository anywhere rather than in the home-directory.
This commit is contained in:
parent
bc49d5dca5
commit
0b08940a0e
@ -1,3 +1,5 @@
|
|||||||
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
||||||
|
|
||||||
if [ -n "${BASH_VERSION}" ]; then
|
if [ -n "${BASH_VERSION}" ]; then
|
||||||
# Symbols
|
# Symbols
|
||||||
: ${is_a_git_repo_symbol:='❤'}
|
: ${is_a_git_repo_symbol:='❤'}
|
||||||
@ -39,7 +41,7 @@ if [ -n "${BASH_VERSION}" ]; then
|
|||||||
|
|
||||||
PS2="${yellow}→${reset} "
|
PS2="${yellow}→${reset} "
|
||||||
|
|
||||||
source base.sh
|
source ${DIR}/base.sh
|
||||||
function bash_prompt() {
|
function bash_prompt() {
|
||||||
PS1="$(build_prompt)"
|
PS1="$(build_prompt)"
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user