diff --git a/default.nix b/default.nix index 52512891c..0474a166e 100644 --- a/default.nix +++ b/default.nix @@ -153,7 +153,8 @@ let contents = { "${name}/urbit" = "${urbit}/bin/urbit"; "${name}/urbit-worker" = "${urbit}/bin/urbit-worker"; - "${name}/urbit-king" = "${urbit-king}/bin/urbit-king"; + # temporarily removed for compatibility reasons + # "${name}/urbit-king" = "${urbit-king}/bin/urbit-king"; }; };