deccd8d39e
* //users/wpcarro/avaSystem: disable hidpi Recent changes have made nixpkgs adopt the position that hidpi optimization can't be done generically and at the very least needs to know a specific DPI number to optimize for. In addition to knowledge of the display(s) in question (i.e. wpcarro needs to do this) the issue <https://github.com/NixOS/nixpkgs/issues/222805> can give guidance as to how to restore the desired hidpi look and feel. Change-Id: Ia4b079a06dcb710050619f350cd0655216b4a42f Reviewed-on: https://cl.tvl.fyi/c/depot/+/8345 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: wpcarro <wpcarro@gmail.com> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
37 lines
851 B
Nix
37 lines
851 B
Nix
# https://github.com/josh-project/josh
|
|
{ depot, pkgs, ... }:
|
|
|
|
let
|
|
# TODO(sterni): switch to pkgs.josh as soon as that commit is released
|
|
rev = "fc857afda2c1536234e3bb1983c518a1abf63d25";
|
|
src = pkgs.fetchFromGitHub {
|
|
owner = "josh-project";
|
|
repo = "josh";
|
|
inherit rev;
|
|
hash = "sha256:16ch7al7xfyjipgqh2n7grj985fv713mhi8y5bixb736vsad9q3w";
|
|
};
|
|
in
|
|
depot.third_party.naersk.buildPackage {
|
|
inherit src;
|
|
JOSH_VERSION = "git-${builtins.substring 0 8 rev}";
|
|
|
|
buildInputs = with pkgs; [
|
|
libgit2
|
|
openssl
|
|
pkg-config
|
|
];
|
|
|
|
cargoBuildOptions = x: x ++ [
|
|
"-p"
|
|
"josh-filter"
|
|
"-p"
|
|
"josh-proxy"
|
|
];
|
|
|
|
overrideMain = x: {
|
|
nativeBuildInputs = (x.nativeBuildInputs or [ ]) ++ [ pkgs.makeWrapper ];
|
|
postInstall = ''
|
|
wrapProgram $out/bin/josh-proxy --prefix PATH : "${pkgs.git}/bin"
|
|
'';
|
|
};
|
|
}
|