[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#37443] [PATCH] scripts: pull: Add options for generation management
From: |
Ludovic Courtès |
Subject: |
[bug#37443] [PATCH] scripts: pull: Add options for generation management |
Date: |
Thu, 19 Sep 2019 14:35:13 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
zimoun <address@hidden> skribis:
> On Thu, 19 Sep 2019 at 13:57, Ludovic Courtès <address@hidden> wrote:
>>
>> Konrad Hinsen <address@hidden> skribis:
>>
>> > Ludovic Courtès <address@hidden> writes:
>
>> Also, now that we finally have “guix install” & co., which is really
>> what users expect, I feel less of an incentive for a catch-all “guix
>> profile” command.
>>
>> 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.
;-)
> Something nicer should be to have aliases defined by the user.
Yes, that too.
>> > - Everything that operates on "guix" (the software, including the
>> > package definitions) starts with "itself":
>> >
>> > guix itself update (today's "guix pull")
>> > guix itself roll-back
>>
>> It’s a another instance where the categorization you propose makes sense
>> to me, but as a command I’d have to type, it’s not something I like.
>
> Me neither. :-)
>
> And "guix itself" fixes implicitly the profile to
> ~/.config/guix/current and maybe people are doing "non-conventional"
> stuff as "guix pull -p ~/.guix-profile --list-generations".
>
> "guix pull --list-generations" should be aliased to "guix log"
> "guix pull --delete-generations" -> "guix log --delete-generations"
> "guix pull --switch-generations" -> "guix log --switch-generations"
> "guix pull --news" -> "guix log --news"
Though “guix log” is ambiguous: it could mean
guix pull -l
or:
guix package -l
or:
guix build --log-file
Naming is hard!
Ludo’.
- [bug#37443] [PATCH] scripts: pull: Add options for generation management, (continued)
- [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, 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 <=
- [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