DonGun/home_bin
3
0
Fork 0
mirror of https://github.com/gunchev/home_bin.git synced 2025-11-20 12:15:46 +00:00
Code Issues Projects 1 Releases Packages Wiki Activity

Speed up fill generation, preserve $? for others.

Browse source
This commit is contained in:
Doncho N. Gunchev 2020-10-17 13:04:11 +03:00
parent 54ccd1efb9
commit 9e91389b54
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
bash/ps-twtty-7.sh
View file

@ -55,7 +55,7 @@ function prompt_command_exit() {
} }
function prompt_command() { function prompt_command() {
# Save the error code # Save the error code, running any external command resets it!
local E=$? local E=$?
# Date, my format # Date, my format
@ -87,7 +87,7 @@ function prompt_command() {
let fillsize=${COLUMNS}-${#prompt} let fillsize=${COLUMNS}-${#prompt}
my_FILL="" my_FILL=""
if [ $fillsize -gt 0 ]; then if [ $fillsize -gt 0 ]; then
my_FILL="─" my_FILL="────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────"
while [ $fillsize -gt ${#my_FILL} ]; do while [ $fillsize -gt ${#my_FILL} ]; do
my_FILL="${my_FILL}${my_FILL}${my_FILL}${my_FILL}" my_FILL="${my_FILL}${my_FILL}${my_FILL}${my_FILL}"
done done
@ -100,6 +100,8 @@ function prompt_command() {
else else
my_PWD="${PWD}" my_PWD="${PWD}"
fi fi
# Let other PROMPT_COMMAND scripts (if any after us) have the error code too.
bash -c "exit $E"
} }
function twtty { function twtty {