GNU bug report logs -
#39163
PATCH: Feature from 21857 bug on debbugs.gnu.org
Previous Next
Reported by: Ryan Olson <ryan.olson.x <at> gmail.com>
Date: Fri, 17 Jan 2020 17:35:01 UTC
Severity: wishlist
Tags: easy
Merged with 21857
Done: Lars Ingebrigtsen <larsi <at> gnus.org>
Bug is archived. No further changes may be made.
Full log
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
As described in the bug 21857 on debbugs
(https://debbugs.gnu.org/cgi/bugreport.cgi?bug=21857), we should
provide a nice "installed" message after your package has been
installed.
*** package.el.orig 2020-01-17 10:11:48.000000000 -0700
--- package.el 2020-01-17 10:12:36.000000000 -0700
*************** to install it but still mark it as selec
*** 2076,2082 ****
(package-compute-transaction () (list (list pkg))))))
(progn
(package-download-transaction transaction)
! (package--quickstart-maybe-refresh))
(message "`%s' is already installed" name))))
(defun package-strip-rcs-id (str)
--- 2076,2083 ----
(package-compute-transaction () (list (list pkg))))))
(progn
(package-download-transaction transaction)
! (package--quickstart-maybe-refresh)
! (message "Package `%s' installed." name))
(message "`%s' is already installed" name))))
(defun package-strip-rcs-id (str)
This bug report was last modified 4 years and 282 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.