hidpi-hack.lua

--- ...snip...
if not headless then
	require "love.system"
	require "love.window"
end

local flags = {
	width          = 1280,
	height         = 720,	
	highdpi        = true,
  -- ..snip...
}

local dpi_scale = 1
if love.system.getOS() == "Linux" and not headless then
	flags.highdpi = false

	local lume = require "lume"
	local f = io.popen("gsettings get org.gnome.desktop.interface scaling-factor")
	local _scale = lume.split(f:read(), " ")
	if _scale[2] then
		dpi_scale = tonumber(_scale[2])
		flags.width = flags.width * dpi_scale
		flags.height = flags.height * dpi_scale
		love.window.toPixels = function(v)
			return v * dpi_scale
		end
	end
end