GNU bug report logs - #39163
PATCH: Feature from 21857 bug on debbugs.gnu.org

Previous Next

Full log

View this message in rfc822 format

From: Ryan Olson <ryan.olson.x <at> gmail.com>
To: 39163 <at> debbugs.gnu.org
Subject: bug#39163: PATCH: Feature from 21857 bug on debbugs.gnu.org
Date: Fri, 17 Jan 2020 10:20:26 -0700

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)

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.