[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: ‘xdg-mime-database’ profile hook is slow
From: |
Luis Felipe |
Subject: |
Re: ‘xdg-mime-database’ profile hook is slow |
Date: |
Wed, 28 Oct 2020 21:48:03 +0000 |
‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
On Tuesday, October 27, 2020 11:14 PM, Joshua Branson <jbranso@dismail.de>
wrote:
[...]
>
> #+BEGIN_SRC sh :results output :exports both
> time guix build --check $(guix gc -R $(guix gc --derivers $(readlink -f
> ~/.guix-profile)) |grep xdg-mime-database.drv)
> #+END_SRC
I haven't run this command because I don't know what it does (how will it
affect my profile?), but if you think the results from this command would be
more useful than what I posted to issue #44053, please let me know and I'll run
it.
- Re: Removing/replacing “Guix in action” video from the home page?, (continued)
- Re: Removing/replacing “Guix in action” video from the home page?, Joshua Branson, 2020/10/14
- Re: Removing/replacing “Guix in action” video from the home page?, Ludovic Courtès, 2020/10/16
- Re: Removing/replacing “Guix in action” video from the home page?, zimoun, 2020/10/16
- Re: Removing/replacing “Guix in action” video from the home page?, Luis Felipe, 2020/10/16
- Re: Removing/replacing “Guix in action” video from the home page?, Maxim Cournoyer, 2020/10/17
- Re: Removing/replacing “Guix in action” video from the home page?, zimoun, 2020/10/18
- Re: Removing/replacing “Guix in action” video from the home page?, Joshua Branson, 2020/10/18
- ‘xdg-mime-database’ profile hook is slow, Ludovic Courtès, 2020/10/21
- Re: ‘xdg-mime-database’ profile hook is slow, zimoun, 2020/10/21
- Re: ‘xdg-mime-database’ profile hook is slow, Joshua Branson, 2020/10/27
- Re: ‘xdg-mime-database’ profile hook is slow,
Luis Felipe <=
- Re: ‘xdg-mime-database’ profile hook is slow, zimoun, 2020/10/28
- Re: ‘xdg-mime-database’ profile hook is slow, Luis Felipe, 2020/10/29
- Re: Removing/replacing “Guix in action” video from the home page?, jbranso, 2020/10/16
- Re: Removing/replacing “Guix in action” video from the home page?, Luis Felipe, 2020/10/16
- Re: Removing/replacing “Guix in action” video from the home page?, Joshua Branson, 2020/10/27
- Re: Removing/replacing “Guix in action” video from the home page?, Tobias Geerinckx-Rice, 2020/10/28
- Re: Removing/replacing “Guix in action” video from the home page?, jbranso, 2020/10/28
- Re: Removing/replacing “Guix in action” video from the home page?, Ludovic Courtès, 2020/10/31
- Re: Removing/replacing “Guix in action” video from the home page?, jbranso, 2020/10/31
- Re: Removing/replacing “Guix in action” video from the home page?, jbranso, 2020/10/16