Happy to talk about purescript-gjs here too. I think the GNOME extensions bit should be moved to a separate repository since it is not available with pure gjs runtime.
I avoided writing GNOME extensions just to stay away from having to write JS/TS. @tristanC Would be great to have a template repo that makes it easy to get started. i.e., open in VSCode with nix-env-selector and have everything ready to go including PureScript language server (all setup via nix).
https://github.com/purescript-gjs/purescript-gjs
Happy to talk about purescript-gjs here too. I think the GNOME extensions bit should be moved to a separate repository since it is not available with pure gjs runtime.
I avoided writing GNOME extensions just to stay away from having to write JS/TS. @tristanC Would be great to have a template repo that makes it easy to get started. i.e., open in VSCode with nix-env-selector and have everything ready to go including PureScript language server (all setup via nix).
Sort of like https://github.com/srid/rust-nix-template
I'll populate https://github.com/purescript-gjs/purescript-gnome-shell shortly with instructions to get started
It seems like we could provide such helper:
or something along those line. The thing is gnome-shell expect a javascript file i'm currently injecting like this:
but that's not good because the env needs to be created by the init function, so i'm actually using a
Ref (Maybe env)
Here is the bootstrap using some dhall template: https://github.com/purescript-gjs/purescript-gnome-shell/tree/main/demo