diff options
author | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-04-20 11:27:07 +0200 |
---|---|---|
committer | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-04-20 11:31:01 +0200 |
commit | 85a42f19e7880fdc0eda458235673c23d4b64b14 (patch) | |
tree | a4928245410d9e78b05ee708fda1baf6d84f600d /machines | |
parent | 0d6c14d5dc55a602877dfa158baf9007092a1f24 (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')
-rw-r--r-- | machines/profpatsch/shiki.nix | 3 |
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 |