From e0d734e71479bb631a65ced2421135fa18f8558a Mon Sep 17 00:00:00 2001 From: Artem Sheremet Date: Fri, 23 Nov 2018 19:14:52 +0100 Subject: [PATCH] Move .curlrc to curl_t alias Also add '#' as a first line of the output, to be ignored in shell scripts etc. --- .bashrc | 8 ++++++++ .curlrc | 1 - 2 files changed, 8 insertions(+), 1 deletion(-) delete mode 100644 .curlrc diff --git a/.bashrc b/.bashrc index bf2b16c..4b240a5 100644 --- a/.bashrc +++ b/.bashrc @@ -125,6 +125,14 @@ alias prepend-timestamp='gawk "{ print strftime(\"[%Y-%m-%d %H:%M:%S]\"), \$0; f alias strace='strace -f -s 1024' alias readelf='readelf -W' alias youtube-dl='youtube-dl -f bestvideo+bestaudio' +alias curl_t='curl -w \ +"# dnslookup: %{time_namelookup} | \ +connect: %{time_connect} | \ +appconnect: %{time_appconnect} | \ +pretransfer: %{time_pretransfer} | \ +starttransfer: %{time_starttransfer} | \ +total: %{time_total} | \ +size: %{size_download}\n"' function ds() { du -sh "$@" | sort -rh diff --git a/.curlrc b/.curlrc deleted file mode 100644 index ade82f2..0000000 --- a/.curlrc +++ /dev/null @@ -1 +0,0 @@ --w "dnslookup: %{time_namelookup} | connect: %{time_connect} | appconnect: %{time_appconnect} | pretransfer: %{time_pretransfer} | starttransfer: %{time_starttransfer} | total: %{time_total} | size: %{size_download}\n"