[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#14967: 24.3.50; package-delete deletes by trashing?
From: |
Alex |
Subject: |
bug#14967: 24.3.50; package-delete deletes by trashing? |
Date: |
Sun, 11 Jun 2017 21:26:20 -0600 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) |
npostavs@users.sourceforge.net writes:
> severity 14967 wishlist
> quit
>
> Alex <agrambot@gmail.com> writes:
>
>> Stefan Monnier <monnier@iro.umontreal.ca> writes:
>>
>>>> Well, obviously I consider this behavior a bug. Trash is no place for
>>>> deleted packages. I mean, does apt-get remove use the Trash?!
>>>
>>> I think the reasoning goes as follows:
>>> Emacs uses "trash" when deleting a file upon the user's request (as
>>> opposed to things like temp files used internally).
>>
>> Could there perhaps be a separate configuration option for deleting
>> packages versus trashing them? I usually like Emacs using the trash, but
>> I don't see a reason why packages should go there myself.
>
> Seems reasonable.
Here's a patch for it.
0001-Make-package-delete-conditionally-not-use-the-trash.patch
Description: patch
- bug#14967: 24.3.50; package-delete deletes by trashing?, npostavs, 2017/06/11
- bug#14967: 24.3.50; package-delete deletes by trashing?,
Alex <=
- bug#14967: 24.3.50; package-delete deletes by trashing?, Eli Zaretskii, 2017/06/12
- bug#14967: 24.3.50; package-delete deletes by trashing?, Glenn Morris, 2017/06/12
- bug#14967: 24.3.50; package-delete deletes by trashing?, Eli Zaretskii, 2017/06/12
- bug#14967: 24.3.50; package-delete deletes by trashing?, Glenn Morris, 2017/06/12
- bug#14967: 24.3.50; package-delete deletes by trashing?, Stefan Monnier, 2017/06/12
- bug#14967: 24.3.50; package-delete deletes by trashing?, Richard Stallman, 2017/06/13
- bug#14967: 24.3.50; package-delete deletes by trashing?, Eli Zaretskii, 2017/06/12
- bug#14967: 24.3.50; package-delete deletes by trashing?, Stefan Monnier, 2017/06/12
- bug#14967: 24.3.50; package-delete deletes by trashing?, Alex, 2017/06/12
- bug#14967: 24.3.50; package-delete deletes by trashing?, Glenn Morris, 2017/06/12