From 6ef2be8db4e7fe7ea7221362fe1fdfc38c3ebbbe Mon Sep 17 00:00:00 2001
From: Peter Dave Hello <hsu@peterdavehello.org>
Date: Thu, 23 Mar 2017 14:12:31 +0800
Subject: [PATCH] [Docs] Get https://nodejs.org/dist header instead of its
 body, fix #1451

---
 .github/ISSUE_TEMPLATE.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/ISSUE_TEMPLATE.md b/.github/ISSUE_TEMPLATE.md
index 2b4f8e5..ee491b8 100644
--- a/.github/ISSUE_TEMPLATE.md
+++ b/.github/ISSUE_TEMPLATE.md
@@ -32,7 +32,7 @@
 - Is there anything in any of your profile files (`.bashrc`, `.bash_profile`, `.zshrc`, etc) that modifies the `PATH`?
 
 <!-- if this does not apply, please delete this section -->
-- If you are having installation issues, or getting "N/A", what does `curl --compressed -v https://nodejs.org/dist/` print out?
+- If you are having installation issues, or getting "N/A", what does `curl -I --compressed -v https://nodejs.org/dist/` print out?
 <details>
 <!-- do not delete the following blank line -->