From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: [PATCH 1/2] emacs: Improve minibuffer messages. Date: Sun, 02 Nov 2014 18:27:44 +0100 Message-ID: <87ioixms1b.fsf@gnu.org> References: <87d295u9tn.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:38781) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Xkyw7-0003Wd-T2 for guix-devel@gnu.org; Sun, 02 Nov 2014 12:27:40 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Xkyvy-0002Ey-Rp for guix-devel@gnu.org; Sun, 02 Nov 2014 12:27:31 -0500 Received: from hera.aquilenet.fr ([2a01:474::1]:44010) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Xkyvy-0002EA-KQ for guix-devel@gnu.org; Sun, 02 Nov 2014 12:27:22 -0500 In-Reply-To: <87d295u9tn.fsf@gmail.com> (Alex Kost's message of "Sun, 02 Nov 2014 14:21:40 +0300") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Alex Kost Cc: guix-devel@gnu.org Alex Kost skribis: > I think that moving "message system" from =E2=80=9Cguix-base.el=E2=80=9D = to > =E2=80=9Cguix-messages.el=E2=80=9D would be more convenient. I also made= the messages > more verbose (by mentioning a used profile). > > > From 6811c72ea7b3135de1bbe4230f5b012edbfd092b Mon Sep 17 00:00:00 2001 > From: Alex Kost > Date: Sun, 2 Nov 2014 13:50:27 +0300 > Subject: [PATCH 1/2] emacs: Improve minibuffer messages. > > * emacs/guix-base.el (guix-messages, guix-result-message): Move to > 'guix-messages.el'. > (guix-set-buffer, guix-history-call, guix-redisplay-buffer): Adjust for > the modified 'guix-result-message'. > * emacs/guix-messages.el: New file. > (guix-messages): Add 'profile' argument. LGTM! Ludo'.