[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#37443] [PATCH] scripts: pull: Add options for generation management
From: |
Konrad Hinsen |
Subject: |
[bug#37443] [PATCH] scripts: pull: Add options for generation management |
Date: |
Thu, 19 Sep 2019 12:19:20 +0200 |
Ludovic Courtès <address@hidden> writes:
>> And since I am in criticizing mood, the whole Guix management API
>> suffers from bad naming. Consider "guix pull -l". What does it pull? Or
>> "guix package –-roll-back", which doesn't roll back a package but a
>> profile. Guix is following the lead of git whose command line API makes
>> sense only to people who have seen it grow historically.
>
> What would you suggest? “guix log”, “guix roll-back”?
I don't have a detailed and thought-out plan, but here are some ideas:
- Everything that modifies a profile (the standard package kind) starts
with "profile":
guix profile <profile-path> install ...
guix profile <profile-path> remove ...
guix profile <profile-path> roll-back
The <profile-path> could be made optional in some way for working
on the default profile.
- The profile-independent operations of "guix package" already have
nice aliases, e.g. "guix search". So "guix package" could go away.
- 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
Konrad.
- [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/18
- [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 <=
[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, 2019/09/19
[bug#37443] [PATCH] scripts: pull: Add options for generation management, Konrad Hinsen, 2019/09/19