New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
screenkey: 0.2 -> 0.9 #34898
screenkey: 0.2 -> 0.9 #34898
Conversation
Changed from scs3jb/screenkey to wavexx/screenkey since scs3jb has been stale since 2010, meanwhile wavexx's fork has been under development until 2016. Based on https://packages.deban.org/wheezy/all/gnome-icon-theme/filelist I figured that providing a similar hierarchy may make the icon "findable". Eventually, it became clear from the freedesktop icon-theme-spec that the XDG_DATA_DIRS variable was second in line for dictating the user's icon theme. Hence, the iconPkg is stored as hicolor (the fallback theme) inside a path that is prefixed to XDG_DATA_DIRS.
See also #34167 |
@GrahamcOfBorg eval (master had a meta issue, which exposed a bug in OfBorg where it incorrectly reports this PR broke the meta checks: NixOS/ofborg#73) |
That pr should preferred over the older one as I can see from the changes, right? |
@Mic92 I find the older one much cleaner, the only thing that is missing is removing the old derivation from |
$(mkdir -p $out/share/icons/hicolor; cd ${iconPkg}/share/icons/Tango; cp -R . $out/share/icons/hicolor) | ||
wrapProgram $out/bin/screenkey \ | ||
--unset XMODIFIERS \ | ||
--prefix XDG_DATA_DIRS : "$out/share" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Would --prefix XDG_DATA_DIRS : ${iconPkg}/share/
also work here?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We also have wrapGAppsHook, which does the same.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@Mic92 I believe it would. Also, just read wrapGAppsHook
🤦♂️... Learning something new every day
I guess we can just go ahead and close this then 😉. Sorry for the noise. Only grep-ed master... Didn't check out open PR's (2nd time this happens) 🤦♂️ |
See #34167 which is cleaner. Closing to keep the PR buffer clean 😉 |
Motivation for this change
The former build was sourced from scs3jb/screenkey which has been stale since 2010, meanwhile wavexx's fork has been under development until 2016 so it made sense to update the package which has come a long way since 0.2.
The freedesktop icon-theme-spec indicates that the
XDG_DATA_DIRS
variable is second in line for dictating the user's icon theme (afterHOME/.icons
). Therefore the iconPkg is stored as hicolor(the fallback theme) inside a path that is prefixed to
XDG_DATA_DIRS
.Things done
build-use-sandbox
innix.conf
on non-NixOS)nix-shell -p nox --run "nox-review wip"
./result/bin/
)Passes the linter:
nixpkgs-lint -f /my/nixpkgs -p 'python2.7-screenkey*'