From d8f2787745bb9567a4542973f15e807323de4a1a Mon Sep 17 00:00:00 2001
From: Gabriel Gonzalez <Gabriel439@gmail.com>
Date: Thu, 14 Mar 2019 08:48:23 -0700
Subject: [PATCH] Link to Discourse site from `dhall-lang.org` (#852)

---
 dhall-try/index.html  | 4 ++++
 nix/img/discourse.svg | 1 +
 nix/shared.nix        | 2 ++
 nix/twitterLogo.nix   | 2 +-
 nix/website.nix       | 1 +
 5 files changed, 9 insertions(+), 1 deletion(-)
 create mode 100644 nix/img/discourse.svg

diff --git a/dhall-try/index.html b/dhall-try/index.html
index 0c82cf7..3561bd5 100644
--- a/dhall-try/index.html
+++ b/dhall-try/index.html
@@ -150,6 +150,10 @@
           <li class="nav-item">
             <a class="nav-link" href="https://twitter.com/dhall_lang"><img src = "./img/twitter-logo.svg" height="32px" alt="Twitter logo"></a>
           </li>
+          <li class="nav-item">
+            <a class="nav-link" href="https://discourse.dhall-lang.org"><img src = "./img/discourse-logo.svg" height="25px" alt="Discourse logo"></a>
+          </li>
+          <li class="nav-item">
           <li class="nav-item">
             <a class="nav-link" href="https://stackoverflow.com/questions/tagged/dhall"><img src = "./img/stack-overflow-logo.svg" height="32px" alt="Stack Overflow logo"></a>
           </li>
diff --git a/nix/img/discourse.svg b/nix/img/discourse.svg
new file mode 100644
index 0000000..73e7d63
--- /dev/null
+++ b/nix/img/discourse.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 -1 104 106"><defs><style>.cls-1{fill:#231f20;}.cls-2{fill:#fff9ae;}.cls-3{fill:#00aeef;}.cls-4{fill:#00a94f;}.cls-5{fill:#f15d22;}.cls-6{fill:#e31b23;}</style></defs><title>Discourse_logo</title><g id="Layer_2" data-name="Layer 2"><g id="Layer_3" data-name="Layer 3"><path class="cls-1" d="M51.87,0C23.71,0,0,22.83,0,51c0,.91,0,52.81,0,52.81l51.86-.05c28.16,0,51-23.71,51-51.87S80,0,51.87,0Z"/><path class="cls-2" d="M52.37,19.74A31.62,31.62,0,0,0,24.58,66.41l-5.72,18.4L39.4,80.17a31.61,31.61,0,1,0,13-60.43Z"/><path class="cls-3" d="M77.45,32.12a31.6,31.6,0,0,1-38.05,48L18.86,84.82l20.91-2.47A31.6,31.6,0,0,0,77.45,32.12Z"/><path class="cls-4" d="M71.63,26.29A31.6,31.6,0,0,1,38.8,78L18.86,84.82,39.4,80.17A31.6,31.6,0,0,0,71.63,26.29Z"/><path class="cls-5" d="M26.47,67.11a31.61,31.61,0,0,1,51-35A31.61,31.61,0,0,0,24.58,66.41l-5.72,18.4Z"/><path class="cls-6" d="M24.58,66.41A31.61,31.61,0,0,1,71.63,26.29a31.61,31.61,0,0,0-49,39.63l-3.76,18.9Z"/></g></g></svg>
\ No newline at end of file
diff --git a/nix/shared.nix b/nix/shared.nix
index 83a062c..29f2919 100644
--- a/nix/shared.nix
+++ b/nix/shared.nix
@@ -40,6 +40,8 @@ let
           sha256 = "1lly3yb5szl9n3hszsfzv2mil98cvlidrzyci7vs4wi461s9bhxi";
         };
 
+      discourse = ./img/discourse.svg;
+
       github = pkgsNew.callPackage ./githubLogo.nix { };
 
       haskell =
diff --git a/nix/twitterLogo.nix b/nix/twitterLogo.nix
index e02502e..cee208e 100644
--- a/nix/twitterLogo.nix
+++ b/nix/twitterLogo.nix
@@ -5,7 +5,7 @@ stdenv.mkDerivation rec {
 
   src = fetchurl {
     name = "twitter-logos.zip";
-    url = "https://about.twitter.com/content/dam/about-twitter/company/brand-resources/en_us/Twitter%20Logos.zip";
+    url = "https://about.twitter.com/content/dam/about-twitter/company/brand-resources/en_us/Twitter-Logos.zip";
     sha256 = "1dhqmj3krhak10yrq0zm89ld40a32ndrfnl6ligaaphf5dkff5m6";
   };
 
diff --git a/nix/website.nix b/nix/website.nix
index 92824dc..6cd6a8f 100644
--- a/nix/website.nix
+++ b/nix/website.nix
@@ -19,6 +19,7 @@ runCommand "try-dhall" {} ''
   ${coreutils}/bin/ln --symbolic ${haskell.packages.ghcjs.dhall-try}/bin/dhall-try.jsexe/all.min.js $out/js
   ${coreutils}/bin/ln --symbolic ${logo.bash} $out/img/bash-logo.png
   ${coreutils}/bin/ln --symbolic ${logo.clojure} $out/img/clojure-logo.svg
+  ${coreutils}/bin/ln --symbolic ${logo.discourse} $out/img/discourse-logo.svg
   ${coreutils}/bin/ln --symbolic ${logo.dhallLarge} $out/img/dhall-large-logo.png
   ${coreutils}/bin/ln --symbolic ${logo.dhallSmall} $out/img/dhall-small-logo.png
   ${coreutils}/bin/ln --symbolic ${logo.github}/PNG/GitHub-Mark-32px.png $out/img/github-logo.png