[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#37443] [PATCH] scripts: pull: Add options for generation management
From: |
zimoun |
Subject: |
[bug#37443] [PATCH] scripts: pull: Add options for generation management |
Date: |
Thu, 19 Sep 2019 19:27:30 +0200 |
Hi Ludo,
On Thu, 19 Sep 2019 at 14:35, Ludovic Courtès <address@hidden> wrote:
> >> Maybe we need more of these aliases, though, like “guix show”.
> >
> > "guix show" would be nice.
> > But I did not feel a lot of enthusiasm about it. ;-)
> > https://lists.gnu.org/archive/html/guix-devel/2019-07/msg00264.html
>
> I’m enthusiastic every time I type “guix package --show=”, believe me.
> ;-)
Done here https://debbugs.gnu.org/cgi/bugreport.cgi?bug=37462 :-)
All the best,
simon
- [bug#37443] [PATCH] scripts: pull: Add options for generation management, (continued)
- [bug#37443] [PATCH] scripts: pull: Add options for generation management, Ludovic Courtès, 2019/09/19
- [bug#37443] [PATCH] scripts: pull: Add options for generation management, zimoun, 2019/09/19
- [bug#37443] [PATCH] scripts: pull: Add options for generation management, Ricardo Wurmus, 2019/09/19
- [bug#37443] [PATCH] scripts: pull: Add options for generation management, zimoun, 2019/09/19
- [bug#37443] [PATCH] scripts: pull: Add options for generation management, Konrad Hinsen, 2019/09/19
- [bug#37443] Listing profiles, Ludovic Courtès, 2019/09/19
- [bug#37443] [PATCH] scripts: pull: Add options for generation management, Konrad Hinsen, 2019/09/19
- [bug#37443] [PATCH] scripts: pull: Add options for generation management, Ludovic Courtès, 2019/09/19
- [bug#37443] [PATCH] scripts: pull: Add options for generation management, zimoun, 2019/09/19
- [bug#37443] [PATCH] scripts: pull: Add options for generation management, Ludovic Courtès, 2019/09/19
- [bug#37443] [PATCH] scripts: pull: Add options for generation management,
zimoun <=
- [bug#37443] [PATCH] scripts: pull: Add options for generation management, Konrad Hinsen, 2019/09/19