# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1610621801 -7200
# Node ID c4a808f66996015a60dba64d786144f65231e693
# Parent  afe56abc63452f8da27764cc6b98754ea6fe5262
Utility function to enhance curl with time report.

diff -r afe56abc6345 -r c4a808f66996 .bashrc
--- a/.bashrc	Fri Jan 08 16:11:52 2021 +0200
+++ b/.bashrc	Thu Jan 14 12:56:41 2021 +0200
@@ -311,3 +311,15 @@
     fi
   done < <(docker-machine.exe env --shell bash "$1")
 }
+
+mycurl() {
+  curl -w "\n\
+   namelookup:  %{time_namelookup}\n\
+      connect:  %{time_connect}\n\
+   appconnect:  %{time_appconnect}\n\
+  pretransfer:  %{time_pretransfer}\n\
+     redirect:  %{time_redirect}\n\
+starttransfer:  %{time_starttransfer}\n\
+-------------------------\n\
+        total:  %{time_total}\n" "$@"
+}