mirror of
https://gitlab.uni-marburg.de/langbeid/powersort.git
synced 2025-01-21 19:50:35 +01:00
shell.nix: cleanup
This commit is contained in:
parent
b1df4366e6
commit
d06cb9eebd
@ -2,14 +2,19 @@
|
||||
|
||||
# https://discourse.nixos.org/t/how-to-create-a-development-environment-with-intellij-idea-and-openjdk/10153
|
||||
{
|
||||
# NixOS stable
|
||||
pkgs ? import <nixpkgs> {
|
||||
# https://github.com/NixOS/nixpkgs/issues/166220#issuecomment-1745803058
|
||||
config.allowUnfree = true;
|
||||
},
|
||||
# NixOS unstable
|
||||
unstable ? import <unstable> {
|
||||
# https://github.com/NixOS/nixpkgs/issues/166220#issuecomment-1745803058
|
||||
config.allowUnfree = true;
|
||||
}
|
||||
}:
|
||||
|
||||
let
|
||||
unstable = import (fetchTarball https://github.com/NixOS/nixpkgs/archive/nixos-unstable.tar.gz) { };
|
||||
jdk = unstable.jdk23;
|
||||
gradle = unstable.gradle;
|
||||
in
|
||||
|
Loading…
x
Reference in New Issue
Block a user