Use Dafny from the VSCode extension rather than nixpkgs

Changes

2 changed files (+14/-0)

• VSCodium/User/settings.json
  • @@ -1,4 +1,6 @@
    { + // Use the stupid Dafny shim + "dafny.dotnetExecutablePath": "/home/a/.config/fish/scripts/dafny-shim.fish", // Force VSCodium to use my default monospace font instead of 'Noto Sans Mono CJK SC' which looks awful // In related news at least CJK characters in VSCodium seem to work now? "editor.fontFamily": "Hack",
  • @@ -17,6 +19,10 @@
    "html.format.wrapLineLength": 0, // Use rust-analyzer from nixpkgs rather than the bundled rust-analyzer which throws weird errors "rust-analyzer.server.path": "rust-analyzer", + // Supposedly this helps with the GPU freezes? + // But it doesn't entirely solve the issue 😿 + // https://github.com/microsoft/vscode/issues/238088 + "terminal.integrated.gpuAcceleration": "off", // Make Rocq more like Lean "vsrocq.proof.mode": 1, // Make title bar consistent with other apps in KDE
• fish/scripts/dafny-shim.fish (new)
  • @@ -0,0 +1,8 @@
    + #!/usr/bin/env fish + # Stupid shim to make the Dafny VSCode extension use a nix-ld'd binary + if test $argv[1] = "--list-runtimes" + echo Microsoft.NETCore.App 69.0.0 + else + set dafny_dir (path dirname $argv[1]) + exec $dafny_dir/dafny $argv[2..] + end