mirror of
https://gitlab.uni-marburg.de/langbeid/powersort.git
synced 2025-01-21 19:50:35 +01:00
shell.nix: fix IntelliJ missing font
This commit is contained in:
parent
cd34a1cb82
commit
515104fd9e
@ -40,6 +40,10 @@ in
|
|||||||
name = "intellij-gradle-jdk23";
|
name = "intellij-gradle-jdk23";
|
||||||
targetPkgs = pkgs_: [
|
targetPkgs = pkgs_: [
|
||||||
pkgs_.jetbrains.idea-ultimate
|
pkgs_.jetbrains.idea-ultimate
|
||||||
|
# IntelliJ needs at least one font installed.
|
||||||
|
# If this shell.nix is run on a non-NixOS system, that might not be the case.
|
||||||
|
# Thus, we manually add one font.
|
||||||
|
pkgs_.noto-fonts
|
||||||
jdk
|
jdk
|
||||||
gradle
|
gradle
|
||||||
];
|
];
|
||||||
|
Loading…
x
Reference in New Issue
Block a user