From 09be7b3ca7213523d49f5369ab8425157a8d7528 Mon Sep 17 00:00:00 2001 From: Simon Let Date: Sun, 19 May 2019 01:22:50 +0200 Subject: [PATCH] use date instead of EPOCHREALTIME bacause it doesn't work in bash < 5.0 --- shellrc.sh | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/shellrc.sh b/shellrc.sh index 333ec38..bc30240 100644 --- a/shellrc.sh +++ b/shellrc.sh @@ -1,10 +1,11 @@ PATH=$PATH:~/.resh/bin -if [ -n "$ZSH_VERSION" ]; then - zmodload zsh/datetime -fi +# if [ -n "$ZSH_VERSION" ]; then +# zmodload zsh/datetime +# fi -export __RESH_RT_SESSION=$EPOCHREALTIME +# export __RESH_RT_SESSION=$EPOCHREALTIME +export __RESH_RT_SESSION=$(date +%s.%N) export __RESH_RT_SESS_SINCE_BOOT=$(cat /proc/uptime | cut -d' ' -f1) export __RESH_SESSION_ID=$(cat /proc/sys/kernel/random/uuid) nohup resh-daemon &>/dev/null & disown @@ -58,7 +59,8 @@ __resh_preexec() { fi # time __RESH_TZ_BEFORE=$(date +%:z) - __RESH_RT_BEFORE="$EPOCHREALTIME" + # __RESH_RT_BEFORE="$EPOCHREALTIME" + __RESH_RT_BEFORE="$(date +%s.%N)" # TODO: we should evaluate symlinks in preexec # -> maybe create resh-precollect that could handle most of preexec @@ -72,7 +74,8 @@ __resh_preexec() { __resh_precmd() { __RESH_EXIT_CODE=$? - __RESH_RT_AFTER=$EPOCHREALTIME + # __RESH_RT_AFTER=$EPOCHREALTIME + __RESH_RT_AFTER="$(date +%s.%N)" __RESH_TZ_AFTER=$(date +%:z) if [ ! -z ${__RESH_COLLECT+x} ]; then resh-collect -cmdLine "$__RESH_CMDLINE" -exitCode "$__RESH_EXIT_CODE" \