chore: add devenv option to not install git hooks

[doug-q]

Tested with and without a devenv.local.nix with

{
  hugr.installGitHooks = false;
}

[doug-q]

Please feel free to improve my justfile, I'm quite clueless here.

[aborgna-q]

I'm on the fence on whether we should run poetry install directly in the devenv config, instead of adding complexity to the justfile.

• Is there any usecase where we'd run just install false manually? The parameter gets confusing there.
• Is it easy to do poetry install conditionally on the devenv.nix config?

[doug-q]

To be clear we are talking about a flag git-hooks=false. I am fine with the shell running poetry install (although not a huge fan), but installing git hooks is quite obnoxious(in my opinion). If I were manually running just install I would like to be able to suppress installing git hooks.

• Is there any usecase where we'd run just install false manually? The parameter gets confusing there.

Yes, I would do this every time. it's just install git-hooks=false to be clear.

• Is it easy to do poetry install conditionally on the devenv.nix config?

Yes, I think this is the best option

To be clear, I can disable git hooks in my local repo so it's not the biggest deal.

[aborgna-q]

We could have a

install:
    poetry install

recipe for the non-hooks variant, but that's just renaming things without adding much functionality.

[doug-q]

@aborgna-q

I think we agree on setupInShell(although as always, better names welcome).

I don't think you'll like the justfile changes, but I'm trying my luck.

[aborgna-q]

I prefer it to the parameter version. Let's go with this 👍