about summary refs log tree commit diff
path: root/machines/profpatsch
diff options
context:
space:
mode:
authorsternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org>2021-04-20 11:27:07 +0200
committersternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org>2021-04-20 11:31:01 +0200
commit85a42f19e7880fdc0eda458235673c23d4b64b14 (patch)
treea4928245410d9e78b05ee708fda1baf6d84f600d /machines/profpatsch
parent0d6c14d5dc55a602877dfa158baf9007092a1f24 (diff)
machines/profpatsch/shiki: remove dhall-flycheck
It doesn't build currently and channels.generic has been broken for too
long.

@Profpatsch pls fix upstream.
Diffstat (limited to 'machines/profpatsch')
-rw-r--r--machines/profpatsch/shiki.nix3
1 files changed, 2 insertions, 1 deletions
diff --git a/machines/profpatsch/shiki.nix b/machines/profpatsch/shiki.nix
index 4d038b59..95e35972 100644
--- a/machines/profpatsch/shiki.nix
+++ b/machines/profpatsch/shiki.nix
@@ -198,7 +198,8 @@ in {
         pkgs.vuizvui.profpatsch.until        # restart until cmd succeeds
         execline
         pkgs.vuizvui.profpatsch.dhall
-        pkgs.vuizvui.profpatsch.dhall-flycheck
+        # TODO(Profpatsch): make dhall-flycheck build again
+        # pkgs.vuizvui.profpatsch.dhall-flycheck
       ];
       documentation = [
         # mustache-spec NOT IN 16.09