shake: don't echo commands by default

[ci skip]
2024-09-19 10:17:35 +03:00 · 2019-03-06 08:39:43 -08:00 · 2019-03-06 08:39:43 -08:00 · 9333cfe28b
commit 9333cfe28b
parent 247cb4e1ad
1 changed files with 5 additions and 3 deletions
--- a/Shake.hs
+++ b/Shake.hs
@ -126,10 +126,12 @@ main = do
  wikipagefilenames <- map dropExtension . filter (".md" `isSuffixOf`) <$> S.getDirectoryContents wikidir

  shakeArgs
-    shakeOptions{
-      shakeVerbosity=Loud
+    shakeOptions
+      {
+       shakeVerbosity=Quiet
      -- ,shakeReport=[".shake.html"]
-      } $ do
+      }
+      $ do

    want ["help"]