1234567891011121314151617181920212223242526272829303132333435363738 |
- __time_detail() {
- date
- }
- __time() {
- local secs=1
- [ -n "$TIME_SECONDS" ] && secs=$TIME_SECONDS
- case "$BYOBU_BACKEND" in
- screen)
- format="\0050c"
- [ "$secs" != "0" ] && format="$format:\005s"
- printf $format
- ;;
- esac
- }
|