chiark
/
gitweb
/
~mdw
/
profile
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
062b450
)
dot/shell-rc: Add a hook for shell-specific `PS2' customization.
author
Mark Wooding
<mdw@distorted.org.uk>
Fri, 11 May 2018 19:14:23 +0000
(20:14 +0100)
committer
Mark Wooding
<mdw@distorted.org.uk>
Fri, 11 May 2018 19:39:07 +0000
(20:39 +0100)
dot/shell-rc
patch
|
blob
|
blame
|
history
diff --git
a/dot/shell-rc
b/dot/shell-rc
index fef62a2aa60d483850245b1c83861358d2e1dd92..55934d589b90861a6855ebf82a1ae3f0bb1377f3 100644
(file)
--- a/
dot/shell-rc
+++ b/
dot/shell-rc
@@
-25,8
+25,8
@@
__mdw_set_prompt_pieces () {
## Fancy highlighting in some terminals.
local bold unbold nl gitcolour rccolour uncolour
## Fancy highlighting in some terminals.
local bold unbold nl gitcolour rccolour uncolour
- local host dir
- bold="" unbold="" nl="" gitcolour="" rccolour="" uncolour=""
+ local host dir
more
+ bold="" unbold="" nl="" gitcolour="" rccolour="" uncolour=""
more=""
__mdw_set_prompt_hacks
## Choose the right delimiters. Highlight root prompts specially;
__mdw_set_prompt_hacks
## Choose the right delimiters. Highlight root prompts specially;
@@
-71,6
+71,7
@@
__mdw_set_prompt_pieces () {
__mdw_prompt_rc_left="$unbold$rccolour"
__mdw_prompt_rc_right="$uncolour$bold"
__mdw_prompt_right="$right$unbold"
__mdw_prompt_rc_left="$unbold$rccolour"
__mdw_prompt_rc_right="$uncolour$bold"
__mdw_prompt_right="$right$unbold"
+ __mdw_prompt_more=" $more$bold>$unbold "
}
__mdw_set_prompt () {
}
__mdw_set_prompt () {
@@
-92,7
+93,7
@@
__mdw_set_prompt () {
*) rc="$__mdw_prompt_rc_left rc=$__mdw_last_rc$__mdw_prompt_rc_right" ;;
esac
PS1="$__mdw_prompt_left$git$rc$__mdw_prompt_right"
*) rc="$__mdw_prompt_rc_left rc=$__mdw_last_rc$__mdw_prompt_rc_right" ;;
esac
PS1="$__mdw_prompt_left$git$rc$__mdw_prompt_right"
- PS2="$PS1
$bold>$unbold
"
+ PS2="$PS1
$__mdw_prompt_more
"
unset __mdw_last_rc
;;
esac
unset __mdw_last_rc
;;
esac