add gnome-extensions script

This commit is contained in:
Sean Buckley 2021-11-05 14:02:48 -04:00
parent f248221fb3
commit 45bce4a081

View file

@ -44,6 +44,11 @@
jupy = python3.withPackages (p: with p; [ jupyterlab ipython ]);
in
{
gnome-extensions = writeShellScriptBin "gnome-extensions" ''
cat ${path}/pkgs/desktops/gnome/extensions/extensions.json |
${jq}/bin/jq -c '.[]|{name,ver:(.shell_version_map|keys)}'
'';
jupyterlab = writeShellScriptBin "jupyterlab" ''
exec ${jupy}/bin/python -m jupyterlab "$@"
'';