Merge pull request #186271 from bobby285271/pantheon

pantheon.elementary-terminal: 6.0.2 -> 6.1.0
This commit is contained in:
Bobby Rong 2022-08-13 10:09:17 +08:00 committed by GitHub
commit de9b90d7a4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -20,13 +20,13 @@
stdenv.mkDerivation rec {
pname = "elementary-terminal";
version = "6.0.2";
version = "6.1.0";
src = fetchFromGitHub {
owner = "elementary";
repo = "terminal";
rev = version;
sha256 = "sha256-glcY47E9bGVI6k9gakItN6srzMtmA4hCEz/JVD5UUmI=";
sha256 = "sha256-qxjHrlpdJcfXEUan/JgU7HqBRdB36gxAb5xmd/ySsj0=";
};
nativeBuildInputs = [
@ -49,9 +49,6 @@ stdenv.mkDerivation rec {
vte
];
# See https://github.com/elementary/terminal/commit/914d4b0e2d0a137f12276d748ae07072b95eff80
mesonFlags = [ "-Dubuntu-bionic-patched-vte=false" ];
postPatch = ''
chmod +x meson/post_install.py
patchShebangs meson/post_install.py