Tomas Hlavaty writes:
> I haven't found any way to create PRs without a web-browser. I wonder,
> if it is possible?
Vladimír Čunát and Kirill Elagin suggested gitAndTools.hub and it looks
like what I am after. Thanks!
___
nix-dev
Hi Peter,
thank you for your email.
That awkward patch on the bug tracker was a try to see if that was
somehow possible and useful. Now I see that it wasn't a good idea, so
sorry for the chaos I created.
The problem is on my side as I haven't found an optimal way to
contribute yet.
I use
Hi Tomas,
thank you very much for contributing this patch.
I wonder, though, why you are using such a convoluted path to submit
this change? You have an account on github, "tohl", so you *can* create
pull requests, which are vastly simpler to handle than a posting to this
mailing list is. Yet,
Make it more intuitive for users to start ccl and avoid platform
dependent executable names.
https://github.com/NixOS/nixpkgs/issues/26934
Tested on nixos x86_64.
Thanks.
>From 9d1ade6a72fd2b4c10946128d8296aa9f8d75cc5 Mon Sep 17 00:00:00 2001
From: Tomas Hlavaty
Date: Wed, 28