Merge pull request #281487 from ymarkus/wofi-emoji

Wofi emoji: 2023-06-19 -> 2023-12-22 & fix paths in shell script
This commit is contained in:
Franz Pletz 2024-01-17 16:08:45 +01:00 committed by GitHub
commit 2f10e6baf9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -6,13 +6,13 @@ let emojiJSON = fetchurl {
in
stdenv.mkDerivation rec {
pname = "wofi-emoji";
version = "unstable-2023-06-19";
version = "unstable-2023-12-22";
src = fetchFromGitHub {
owner = "Zeioth";
repo = pname;
rev = "796d688b71ac9fa1e5b2c1b9a3fa11dba801b02b";
hash = "sha256-HBsqekNuKqxaKaSeLboukLm4Lkg9JakPO7uN3Z8QBC8=";
rev = "2cc95880848134a3bbe0675bcb62a0dae1d0f572";
hash = "sha256-t9M8z8JxuvBDzNs98L7YTNUfTK23W1DYGdHDiXNQOgk=";
};
nativeBuildInputs = [ jq ];
@ -21,6 +21,10 @@ stdenv.mkDerivation rec {
postPatch = ''
substituteInPlace build.sh \
--replace 'curl ${emojiJSON.url}' 'cat ${emojiJSON}'
substituteInPlace wofi-emoji \
--replace 'wofi' '${wofi}/bin/wofi' \
--replace 'wtype' '${wtype}/bin/wtype' \
--replace 'wl-copy' '${wl-clipboard}/bin/wl-copy'
'';
buildPhase = ''