diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2012-07-31 21:30:39 +0200 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2012-07-31 21:30:39 +0200 |
| commit | f031816ed1f8659819c5093c08a78346e5ae5f50 (patch) | |
| tree | c92f4f81586cfba0c3a8b9adb593fdeaf15ae061 | |
| parent | 959e84b3cf6713b533475b9b9cf07dd13ac6669a (diff) | |
| download | bin-f031816ed1f8659819c5093c08a78346e5ae5f50.zip bin-f031816ed1f8659819c5093c08a78346e5ae5f50.tar.gz | |
easy_e17.sh: add job accomplished time
| -rwxr-xr-x | easy_e17.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/easy_e17.sh b/easy_e17.sh index 353a9ee..f5c71a0 100755 --- a/easy_e17.sh +++ b/easy_e17.sh @@ -1308,6 +1308,8 @@ if [ ! "$action" == "srcupdate" ]; then check_ld_path fi +start_time=$(date '+%s') + # sources open_header "Source checkout/update" if [ -z "$skip_srcupdate" ]; then @@ -1449,8 +1451,16 @@ if [ $ctags_enabled -eq 1 ]; then echo "- $ctags_file" fi +end_time=$(date '+%s') +dt=$((end_time - start_time)) +ds=$((dt % 60)) +dm=$(((dt / 60) % 60)) +dh=$((dt / 3600)) + open_header " YEAAAH !!" echo +printf ' job accomplished in %d:%02d:%02d\n' $dh $dm $ds +echo echo " you might like to type $ sudo ln -s $install_path/share/xsessions/enlightenment.desktop /usr/share/xsessions/" echo " and feed /etc/profile.d/e17.sh with:" echo " export E17DIR=$install_path" |