rename config file
This commit is contained in:
@@ -3,7 +3,6 @@
|
||||
# Charles Danesi, 2022.
|
||||
# parts taken from https://gist.github.com/loudambiance/a41b42a4295bce6e7304
|
||||
|
||||
# TODO add uptime to prompt
|
||||
# TODO git merge status
|
||||
# TODO git isLocalOnly to check if there are remotes or if this is only a local repo)
|
||||
# TODO number of pushes pending
|
||||
@@ -134,8 +133,8 @@ gitLocalRemote=""
|
||||
taskLabel="☑"
|
||||
|
||||
# if user-specific config exists, override default values
|
||||
if [ -f $HOME/.cdprc ]; then
|
||||
. $HOME/.cdprc
|
||||
if [ -f $HOME/.config/promptrc ]; then
|
||||
. $HOME/.config/promptrc
|
||||
fi
|
||||
|
||||
function promptcmd() {
|
||||
|
||||
Reference in New Issue
Block a user