diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-11-29 14:53:22 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-29 15:54:20 +0100 |
| commit | 55e1dfa4dd189e010c541e3997b65434c702b4a5 (patch) | |
| tree | 24cfeb92c7778694f1c61d1e231afeaf43d37453 /gnu/packages | |
| parent | 403604c31e1a914d338f62d222081be5f62e0520 (diff) | |
| download | patches-55e1dfa4dd189e010c541e3997b65434c702b4a5.tar patches-55e1dfa4dd189e010c541e3997b65434c702b4a5.tar.gz | |
ui: Factorize 'with-profile-lock'.
* guix/ui.scm (profile-lock-handler, profile-lock-file): New
procedures.
(with-profile-lock): New macro.
* guix/scripts/package.scm (process-actions): Use 'with-profile-lock'
instead of 'with-file-lock/no-wait'.
* guix/scripts/pull.scm (guix-pull): Likewise.
Diffstat (limited to 'gnu/packages')
0 files changed, 0 insertions, 0 deletions