How fortunate that Quartus Prime Lite runs under Linux. Something to keep in mind next time you’re selecting a device for a small project.

So does Quartus Prime Pro - and for specific Agilex 5 devices it's also free. (Presumably it was too much trouble to backport support for Agilex to the Lite version.)

There are also free Linux versions of Lattice Diamond, Gowin EDA and Efinix's Efinity software.