Changes for objectgericht project

This commit is contained in:
Charlotte Van Petegem 2024-03-27 12:01:47 +01:00
parent 74cfbe4577
commit cdfedfc15e
No known key found for this signature in database
GPG key ID: 019E764B7184435A
2 changed files with 2 additions and 1 deletions

View file

@ -134,6 +134,7 @@ let
riverctl map normal Alt+Shift Print spawn '${screenshot}/bin/screenshot -r -d'
riverctl float-filter-add app-id launcher
riverctl float-filter-add app-id be.ugent.objprog.ugentopoly.Ugentopoly
riverctl float-filter-add title "Quick Format Citation"
riverctl default-layout rivertile

View file

@ -3,7 +3,7 @@
packages = with pkgs; [
openssl
maven
(openjdk17.override { enableJavaFX = true; openjfx = openjfx17.override { withWebKit = true; }; })
(openjdk21.override { enableJavaFX = true; openjfx = openjfx21; })
(python3.withPackages (ps: [ ps.pyyaml ps.beautifulsoup4 ps.notmuch ]))
];
commands = [