From 2e64399afdebf612f3ac6b3cc4a89f3ec14ad593 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Euzenat?= <Jerome.Euzenat@inria.fr>
Date: Sun, 15 Jul 2012 10:04:28 +0000
Subject: [PATCH] - Added -L option to curl

---
 html/rest.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/rest.html b/html/rest.html
index 4aef2239..cea4dd51 100644
--- a/html/rest.html
+++ b/html/rest.html
@@ -23,7 +23,7 @@ The result of these requests are provided in XML.
 In the sequel, we describe the various request types.
 They can be obtained by:
 <div class="terminal">
-$ curl -H "Content-Type: text/xml" '&lt;URL&gt;'
+$ curl -L -H "Content-Type: text/xml" '&lt;URL&gt;'
 </div>
 </p>
 <p>
-- 
GitLab