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 /.dir-locals.el | |
parent | 403604c31e1a914d338f62d222081be5f62e0520 (diff) | |
download | guix-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 '.dir-locals.el')
-rw-r--r-- | .dir-locals.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.dir-locals.el b/.dir-locals.el index e4947f5f10..5ce3fbc9a5 100644 --- a/.dir-locals.el +++ b/.dir-locals.el @@ -36,6 +36,7 @@ (eval . (put 'with-directory-excursion 'scheme-indent-function 1)) (eval . (put 'with-file-lock 'scheme-indent-function 1)) (eval . (put 'with-file-lock/no-wait 'scheme-indent-function 1)) + (eval . (put 'with-profile-lock 'scheme-indent-function 1)) (eval . (put 'package 'scheme-indent-function 0)) (eval . (put 'origin 'scheme-indent-function 0)) |