c3eab69c - dotfiles

Authored by: Anthony Wang
Authored at: 2025-04-04 13:55:15 -0400
Committed by: Anthony Wang
Committed at: 2025-04-04 13:55:15 -0400
Signature: View
-----BEGIN SSH SIGNATURE----- U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAg8Ms9qQOcB6WoVNS51AHxfRPvJz /x6RXeMaql4lvTraUAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5 AAAAQL2ziiyiB7BJ9IIEGWIYwI4+rxB+ZkrQFjdKtooXmVnHDjEukvJV8obv+uHJ7GOa3C hTTWiFg1c0okNin2PCdAQ= -----END SSH SIGNATURE-----
Object name: c3eab69c906f9e5bc5c95d97f776752f7da5f857
Parent: a8918a03

Switch to VSCodium and NixOS-installed Dafny

Changes

2 changed files (+2/-3)

Code - OSS/User/settings.json > VSCodium/User/settings.json
- @@ -4,4 +4,6 @@
  "editor.wordWrap": "on", "git.autofetch": true, "git.enableSmartCommit": true, + "dafny.version": "custom", + "dafny.cliPath": "/run/current-system/sw/lib/Dafny/Dafny.dll", }
code-flags.conf (deleted)
- @@ -1,3 +0,0 @@
  - --ozone-platform-hint=auto - --enable-wayland-ime - --wayland-text-input-version=3