Danila Danko

Improve overrides.nix

1

- [x] According to https://github.com/nix-community/nix-vscode-extensions/issues/31#issuecomment-1951128781, we may not need to set `sourceRoot = "extension"` when https://github.com/NixOS/nixpkgs/pull/289721 is merged. - [ ] Adopt workarounds from `nixpkgs` - https://github.com/NixOS/nixpkgs/issues/270423#issuecomment-1902482401 - [x] Simplify...

deprecate nix-vscode-extensions in favor of nix4vscode

16

This issue is a result of the discussion of #41. ## nix-vscode-extensions Provides the latest versions of almost all extensions and release versions of chosen extensions from VS Code Marketplace...

- Add flake example - Update docs derivation to include the flake code - Fix branch name for editing docs - Add test for flake checks Rendered docs: https://deemp.github.io/nix-unit/

Consider using `stack path` instead of custom logic

1

Related to #33 stack 2.15.3 with fixes to stack `path` behavior is released ([link](https://github.com/commercialhaskell/stack/issues/6484#issuecomment-1983194215)). `stack path --programs` shouldn't require ghc now ([link](https://github.com/commercialhaskell/stack/commit/93a7bd8104310caaf89d2e84e6095c4dcf844447#diff-874f33563125619a7a5cb567ebe523c59258662d69858d78d24d947b275f9c6c)).

`eoc unphi` produces untestable programs

12

@maxonfjvipon, @yegor256 Related to https://github.com/objectionary/eo/issues/2940 ## Problem I normalized a PHI file, then converted it to a normalized EO file and tried to run tests from the normalized EO file....

jupyter-server fails to build

8

### Describe the issue I expect that I get a devshell. ```nix devShells.p2n = let myAppEnv = poetry2nix.mkPoetryEnv { projectDir = ./.; editablePackageSources = { my-app = ./src; }; python...

`eoc phi` doesn't work for EO 0.38.3

10

Command: https://github.com/objectionary/normalizer/blob/8347f003d7269a3cbe6a05072082808206257ec2/scripts/pipeline.sh#L33 Error: https://github.com/objectionary/normalizer/actions/runs/9399384074/job/25886708460#step:13:77 Artifact: https://github.com/objectionary/normalizer/actions/runs/9399384074/artifacts/1574670815 In the artifact, the `pipeline/eo-filtered` directory contains EO files to be converted to PHI.

Support the `--directory` option

12

@maxonfjvipon ## Problem Currently, it's unclear where `eoc` looks for files when executing the commands `phi`, `test`, `unphi`, `print`. ## Solution 1. For these commands, add the `--directory` option that...

Closes #72

## Details Currently, we get the new hash for a cache every time the action runs because we always update the `flake.lock` in the `template` directory. https://github.com/nix-community/nix-vscode-extensions/actions/runs/10518229237/job/29143682905#step:4:22 ## Subtasks -...