From f2ff13826ee12afb6a24f2cda8a2fb3d34eb851d Mon Sep 17 00:00:00 2001 From: Nicolas Boisselier Date: Thu, 25 Jan 2018 00:21:32 +0000 Subject: [PATCH] etc/profile.d/functions --- etc/profile.d/functions | 1 - 1 file changed, 1 deletion(-) diff --git a/etc/profile.d/functions b/etc/profile.d/functions index 0c6f7d88..51051191 100644 --- a/etc/profile.d/functions +++ b/etc/profile.d/functions @@ -796,7 +796,6 @@ http_get() { echo "Can't find web client" 1>&2 fi } -# NB 07.01.17 alias Get=http_get http_head() { if which curl 1>/dev/null; then -- 2.47.3