From mboxrd@z Thu Jan 1 00:00:00 1970 From: Catonano Subject: is it me ? Date: Mon, 1 May 2017 13:11:13 +0200 Message-ID: Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=94eb2c0de2163b97d0054e747b8d Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:35116) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d59Ea-0005Fg-FE for help-guix@gnu.org; Mon, 01 May 2017 07:11:17 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d59EZ-000222-Jz for help-guix@gnu.org; Mon, 01 May 2017 07:11:16 -0400 Received: from mail-wm0-x236.google.com ([2a00:1450:400c:c09::236]:34993) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1d59EZ-00021y-D5 for help-guix@gnu.org; Mon, 01 May 2017 07:11:15 -0400 Received: by mail-wm0-x236.google.com with SMTP id w64so85904513wma.0 for ; Mon, 01 May 2017 04:11:15 -0700 (PDT) List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: help-guix --94eb2c0de2163b97d0054e747b8d Content-Type: text/plain; charset=UTF-8 Recently I've been suggested to look at the definition o scmutils as a reference I made a really short screencast about how a a procedure in there is not browsable with geiser. It's here https://www.youtube.com/watch?v=9AgFaOPvGCI&feature=youtu.be Now, I think I can overcome this. But if there's anything I can do to improve the experience, I'd liek to know it. Thanks in advance --94eb2c0de2163b97d0054e747b8d Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Recently I've been suggested to lo= ok at the definition o scmutils as a reference

I made a really= short screencast about how a a procedure in there is not browsable with ge= iser.

It's here
https://www.youtube.com/watch?v= =3D9AgFaOPvGCI&feature=3Dyoutu.be

Now, I think I can o= vercome this. But if there's anything I can do to improve the experienc= e, I'd liek to know it.

Thanks in advance
--94eb2c0de2163b97d0054e747b8d-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: myglc2 Subject: Re: is it me ? Date: Mon, 01 May 2017 12:41:03 -0400 Message-ID: <86tw54msww.fsf@gmail.com> References: Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:55204) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d5ENq-0003iT-SO for help-guix@gnu.org; Mon, 01 May 2017 12:41:11 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d5ENl-0003ue-VR for help-guix@gnu.org; Mon, 01 May 2017 12:41:10 -0400 Received: from mail-qk0-x235.google.com ([2607:f8b0:400d:c09::235]:35726) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1d5ENl-0003uO-SI for help-guix@gnu.org; Mon, 01 May 2017 12:41:05 -0400 Received: by mail-qk0-x235.google.com with SMTP id q1so22780823qkd.2 for ; Mon, 01 May 2017 09:41:05 -0700 (PDT) In-Reply-To: (catonano@gmail.com's message of "Mon, 1 May 2017 13:11:13 +0200") List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Catonano Cc: help-guix On 05/01/2017 at 13:11 Catonano writes: > Recently I've been suggested to look at the definition o scmutils as a reference > > I made a really short screencast about how a a procedure in there is not browsable with geiser. > > It's here > https://www.youtube.com/watch?v=9AgFaOPvGCI&feature=youtu.be > > Now, I think I can overcome this. But if there's anything I can do to improve the experience, I'd liek to know it. > > Thanks in advance I'm not a geiser or guile expert, but FWIW, my geiser works the same as yours. make-img is a local variable set by let* and passed to system a few lines later. I'm not sure what more geiser/guile can/would do in this situation. HTH - George From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: is it me ? Date: Mon, 01 May 2017 23:38:21 +0200 Message-ID: <87d1bsz29e.fsf@gnu.org> References: 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]:39124) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d5J1W-00038o-VJ for help-guix@gnu.org; Mon, 01 May 2017 17:38:27 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d5J1T-0002ss-TX for help-guix@gnu.org; Mon, 01 May 2017 17:38:27 -0400 In-Reply-To: (catonano@gmail.com's message of "Mon, 1 May 2017 13:11:13 +0200") List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Catonano Cc: help-guix Hello! Catonano skribis: > Recently I've been suggested to look at the definition o scmutils as a > reference > > I made a really short screencast about how a a procedure in there is not > browsable with geiser. > > It's here > https://www.youtube.com/watch?v=3D9AgFaOPvGCI&feature=3Dyoutu.be The =E2=80=98make-img=E2=80=99, =E2=80=98with-directory-excursion=E2=80=99,= etc. bindings that you show in the screencast are in =E2=80=9Cbuild-side code=E2=80=9D. IOW, what Geis= er and Guile see there is just data, akin to: '(hello there (make-img foo bar) (with-directory-excursion =E2=80=A6)) >From Guile=E2=80=99s perspective, the thing above is just a list that conta= ins lists and symbols, nothing more. That=E2=80=99s why Geiser doesn=E2=80=99t= help here. In an ideal world, we=E2=80=99d be using gexps here instead of sexps like t= his, and we could somehow instruct Geiser how to look up bindings that are inside a gexp. This is left as an exercise to the reader, though. :-) Ludo=E2=80=99. From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alex Kost Subject: Re: is it me ? Date: Tue, 02 May 2017 12:09:47 +0300 Message-ID: <87d1br39r8.fsf@gmail.com> References: 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]:35886) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d5Toe-0004mr-Hu for help-guix@gnu.org; Tue, 02 May 2017 05:09:53 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d5ToZ-0000Yd-Gz for help-guix@gnu.org; Tue, 02 May 2017 05:09:52 -0400 Received: from mail-lf0-x22c.google.com ([2a00:1450:4010:c07::22c]:36048) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1d5ToZ-0000YB-9f for help-guix@gnu.org; Tue, 02 May 2017 05:09:47 -0400 Received: by mail-lf0-x22c.google.com with SMTP id c80so71684302lfh.3 for ; Tue, 02 May 2017 02:09:47 -0700 (PDT) In-Reply-To: (catonano@gmail.com's message of "Mon, 1 May 2017 13:11:13 +0200") List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Catonano Cc: help-guix Catonano (2017-05-01 13:11 +0200) wrote: > Recently I've been suggested to look at the definition o scmutils as > a reference > > I made a really short screencast about how a a procedure in there is > not browsable with geiser. As myglc2 noted "make-img" is just a variable defined in that "let*". It is not some Guix procedure, it's a local variable that has a string value (which is "echo ..."). OTOH, there is some build-side code as Ludovic mentioned that can be browsable with Geiser. For example, to be able to =E2=80=9Cedit=E2=80=9D =E2=80=98with-directory-excursion=E2=80=99 thing, at first you need to eval= uate =E2=80=98,use (guix build utils)=E2=80=99 in the REPL. BTW there is a quicker way to move to a package definition from a "Guix Packages" buffer =E2=80=93 you can simply press "e" key there. Also you ma= y use "M-x guix-edit" command (press TAB there to complete a package name). --=20 Alex From mboxrd@z Thu Jan 1 00:00:00 1970 From: Catonano Subject: Re: is it me ? Date: Tue, 2 May 2017 19:37:30 +0200 Message-ID: References: <87d1br39r8.fsf@gmail.com> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=f403045c28388aac87054e8dfe44 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:50811) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d5bjz-0003yv-G5 for help-guix@gnu.org; Tue, 02 May 2017 13:37:36 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d5bjy-0005KT-DG for help-guix@gnu.org; Tue, 02 May 2017 13:37:35 -0400 In-Reply-To: <87d1br39r8.fsf@gmail.com> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Alex Kost , =?UTF-8?Q?Ludovic_Court=C3=A8s?= , myglc2 Cc: help-guix --f403045c28388aac87054e8dfe44 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 2017-05-02 11:09 GMT+02:00 Alex Kost : > Catonano (2017-05-01 13:11 +0200) wrote: > > > Recently I've been suggested to look at the definition o scmutils as > > a reference > > > > I made a really short screencast about how a a procedure in there is > > not browsable with geiser. > > As myglc2 noted "make-img" is just a variable defined in that "let*". > It is not some Guix procedure, it's a local variable that has a string > value (which is "echo ..."). > yes, I see that now :-/ That's wat Geiser was trying to tell me proposing some info about te let* form I don't know what I can say. My outlook was so narrowed that I didn't realize that "(make-img..." was NOT a procedure call. Raising the look at the previous line would have been enough :-/ I sincerely apologize for the fuss > OTOH, there is some build-side code as Ludovic mentioned that can be > browsable with Geiser. For example, to be able to =E2=80=9Cedit=E2=80=9D > =E2=80=98with-directory-excursion=E2=80=99 thing, at first you need to ev= aluate > =E2=80=98,use (guix build utils)=E2=80=99 in the REPL. > Good to know, thanks > > > BTW there is a quicker way to move to a package definition from a "Guix > Packages" buffer =E2=80=93 you can simply press "e" key there. Also you = may use > "M-x guix-edit" command (press TAB there to complete a package name). > Yes, I know "guix edit" I preferred the other way because I wanted to be sure a repl was available. I had also prepared to show off C-c C-a but it slipped out of my mind when recording I didn't know about the "e" key, though. Thanks Ludo, as an excercise I could try to convert that package to using gexps, but as for instructing Geiser about how to deal with gexps, I wouldn't know where to start from I don't know what exactly the chatter between Geiser and the Guile REPL is made of Thank you all. --f403045c28388aac87054e8dfe44 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
2017-05-02 11:09 GMT+02:00 Alex Kost <= ;alezost@gmail.com>:
Catonano (2017-05-01 13:11 +02= 00) wrote:

> Recently I've been suggested to look at the definition o scmutils = as
> a reference
>
> I made a really short screencast about how a a procedure in there is > not browsable with geiser.

As myglc2 noted "make-img" is just a variable defined in t= hat "let*".
It is not some Guix procedure, it's a local variable that has a string<= br> value (which is "echo ...").

= yes, I see that now :-/
That's wat Geiser was trying to t= ell me proposing some info about te let* form

= I don't know what I can say.
My outlook was so narrowed that I didn= 't realize that "(make-img..." was NOT a procedure call.
<= br>
Raising the look at the previous line would have been enough = :-/

I sincerely apologize for the fuss


OTOH, there is some build-side code as Ludovic mentioned that can be
browsable with Geiser.=C2=A0 For example, to be able to =E2=80=9Cedit=E2=80= =9D
=E2=80=98with-directory-excursion=E2=80=99 thing, at first you need to eval= uate
=E2=80=98,use (guix build utils)=E2=80=99 in the REPL.

Good to know, thanks
=C2=A0


BTW there is a quicker way to move to a package definition from a "Gui= x
Packages" buffer =E2=80=93 you can simply press "e" key ther= e.=C2=A0 Also you may use
"M-x guix-edit" command (press TAB there to complete a package na= me).

Yes, I know "guix edit"<= br>
I preferred the other way because I wanted to be sure a r= epl was available.
I had also prepared to show off C-c C-a bu= t it slipped out of my mind when recording
=C2=A0
I didn't know about the "e" key, though. Thanks

Ludo, as an excercise I could try to convert that package to using = gexps, but as for instructing Geiser about how to deal with gexps, I wouldn= 't know where to start from

I don't know what exa= ctly the chatter between Geiser and the Guile REPL is made of

=
Thank you all.
--f403045c28388aac87054e8dfe44-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: myglc2 Subject: Re: is it me ? Date: Tue, 02 May 2017 14:58:43 -0400 Message-ID: <86k25zm6fw.fsf@gmail.com> References: <87d1br39r8.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]:40777) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d5d0a-00012s-Lm for help-guix@gnu.org; Tue, 02 May 2017 14:58:49 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d5d0X-0005gI-I2 for help-guix@gnu.org; Tue, 02 May 2017 14:58:48 -0400 In-Reply-To: (catonano@gmail.com's message of "Tue, 2 May 2017 19:37:30 +0200") List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Catonano Cc: Alex Kost , help-guix On 05/02/2017 at 19:37 Catonano writes: > 2017-05-02 11:09 GMT+02:00 Alex Kost : [...] > I sincerely apologize for the fuss No need to apologize. Discussion like this is a great addition to the list. [...] > BTW there is a quicker way to move to a package definition from a "Guix > Packages" buffer =E2=80=93 you can simply press "e" key there. Also you = may use > "M-x guix-edit" command (press TAB there to complete a package name). > > Yes, I know "guix edit" > > I preferred the other way because I wanted to be sure a repl was availabl= e. > I had also prepared to show off C-c C-a but it slipped out of my mind > when recording FWIW, with this in your emacs init file ... ;; run-geiser automatically (setq geiser-mode-start-repl-p t) ... the REPL will start automatically after 'M-x guix-edit' As it stands, your video is a great sanity check for someone wondering if their emacs-guix environment is working properly. It is also a great demonstration of how easy it is for a guix user to see and, with a git checkout, modify a package. If you expanded it a bit to illustrate a few more guix-edit/geiser features, it could be a great addition to the guix-video-verse, and, IMO, a good thing to add to www.gnu.org From mboxrd@z Thu Jan 1 00:00:00 1970 From: Catonano Subject: Re: is it me ? Date: Wed, 3 May 2017 18:05:45 +0200 Message-ID: References: <87d1br39r8.fsf@gmail.com> <86k25zm6fw.fsf@gmail.com> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=94eb2c0dd5243e6c44054ea0d48d Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:40389) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d5wmk-0005l1-0R for help-guix@gnu.org; Wed, 03 May 2017 12:05:51 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d5wmi-0004Dg-VY for help-guix@gnu.org; Wed, 03 May 2017 12:05:50 -0400 In-Reply-To: <86k25zm6fw.fsf@gmail.com> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: myglc2 Cc: Alex Kost , help-guix --94eb2c0dd5243e6c44054ea0d48d Content-Type: text/plain; charset=UTF-8 2017-05-02 20:58 GMT+02:00 myglc2 : > > No need to apologize. Discussion like this is a great addition to the > list. > [...] > > As it stands, your video is a great sanity check for someone wondering > if their emacs-guix environment is working properly. It is also a great > demonstration of how easy it is for a guix user to see and, with a git > checkout, modify a package. Thank you for your kind words > If you expanded it a bit to illustrate a few > more guix-edit/geiser features, it could be a great addition to the > guix-video-verse, and, IMO, a good thing to add to www.gnu.or > Which eatures, exactly, you would like to be showed ? --94eb2c0dd5243e6c44054ea0d48d Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
2017-05-02 20:58 GMT+02:00 myglc2 <myglc2@gmail.com>= ;:

No need to apologize.=C2=A0 Discussion like this is a great addition= to the
list.
=C2=A0
[...]

As it stands, your video is a great sanity check for someone wondering
if their emacs-guix environment is working properly. It is also a great
demonstration of how easy it is for a guix user to see and, with a git
checkout, modify a package.

Thank you for = your kind words
=C2=A0
If= you expanded it a bit to illustrate a few
more guix-edit/geiser features, it could be a great addition to the
guix-video-verse, and, IMO, a good thing to add to www.gnu.or

Which eatures, exactly, you would like to be showed ?
<= /div>
--94eb2c0dd5243e6c44054ea0d48d-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: myglc2 Subject: Re: is it me ? Date: Wed, 03 May 2017 15:08:02 -0400 Message-ID: <86d1bpn4h9.fsf@gmail.com> References: <87d1br39r8.fsf@gmail.com> <86k25zm6fw.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:56030) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d5zdC-0007Z5-3X for help-guix@gnu.org; Wed, 03 May 2017 15:08:11 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d5zd8-0000xY-VH for help-guix@gnu.org; Wed, 03 May 2017 15:08:10 -0400 In-Reply-To: (catonano@gmail.com's message of "Wed, 3 May 2017 18:05:45 +0200") List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Catonano Cc: Alex Kost , help-guix On 05/03/2017 at 18:05 Catonano writes: > 2017-05-02 20:58 GMT+02:00 myglc2 : > > As it stands, your video is a great sanity check for someone wondering > if their emacs-guix environment is working properly. It is also a great > demonstration of how easy it is for a guix user to see and, with a git > checkout, modify a package. > > If you expanded it a bit to illustrate a few > more guix-edit/geiser features, it could be a great addition to the > guix-video-verse, and, IMO, a good thing to add to www.gnu.or > > Which eatures, exactly, you would like to be showed ? How about a scenario like this, all done from within emacs-guix running against a git checkout ... - find a package - install it - observe how it is working - consider changing a config flag - 'M-x Guix edit ' - download the source: 'C-u . s' - copy the package source out of the store (there is probably a better thing to do here) - in source: './configure --help' to see config options - 'M-x Guix edit ' & modify #:configure-flags - build the package: 'C-u . b' - install the new version - verify the package behavior has changed - commit the change - produce a potential guix patch Note: I am not a 'M-x guix-edit' "daily driver". I hope others who are will comment/improve the outline. ISTM this scenario is useful because ... 1) it shows the control that guix gives to users 2) a knowledgeable user can follow it to help improve how runs in guix. HTH - George From mboxrd@z Thu Jan 1 00:00:00 1970 From: Amirouche Subject: Re: is it me ? Date: Fri, 5 May 2017 15:48:17 +0200 Message-ID: <41478f43-cdab-b887-f878-1da980cb6efa@hypermove.net> References: <87d1br39r8.fsf@gmail.com> <86k25zm6fw.fsf@gmail.com> <86d1bpn4h9.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:42816) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d6daJ-0004rv-ER for help-guix@gnu.org; Fri, 05 May 2017 09:47:52 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d6daG-00069E-DS for help-guix@gnu.org; Fri, 05 May 2017 09:47:51 -0400 Received: from relay7-d.mail.gandi.net ([217.70.183.200]:59088) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1d6daG-00068i-7L for help-guix@gnu.org; Fri, 05 May 2017 09:47:48 -0400 Received: from relay3-d.mail.gandi.net (relay3-d.mail.gandi.net [217.70.183.195]) by relay7-d.mail.gandi.net (Postfix) with ESMTPS id 310B2381A for ; Fri, 5 May 2017 15:47:41 +0200 (CEST) Received: from [IPv6:2a01:e35:2ef3:d930:e0b6:ec20:d4b3:fff9] (unknown [IPv6:2a01:e35:2ef3:d930:e0b6:ec20:d4b3:fff9]) (Authenticated sender: amirouche@hypermove.net) by relay3-d.mail.gandi.net (Postfix) with ESMTPSA id 20D63A80FA for ; Fri, 5 May 2017 15:47:38 +0200 (CEST) In-Reply-To: <86d1bpn4h9.fsf@gmail.com> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: help-guix@gnu.org Le 03/05/2017 à 21:08, myglc2 a écrit : > On 05/03/2017 at 18:05 Catonano writes: > >> 2017-05-02 20:58 GMT+02:00 myglc2 : >> >> As it stands, your video is a great sanity check for someone wondering >> if their emacs-guix environment is working properly. It is also a great >> demonstration of how easy it is for a guix user to see and, with a git >> checkout, modify a package. >> >> If you expanded it a bit to illustrate a few >> more guix-edit/geiser features, it could be a great addition to the >> guix-video-verse, and, IMO, a good thing to add to www.gnu.or >> >> Which eatures, exactly, you would like to be showed ? > How about a scenario like this, all done from within emacs-guix running > against a git checkout ... > > - find a package > > - install it > > - observe how it is working > > - consider changing a config flag > > - 'M-x Guix edit ' > > - download the source: 'C-u . s' > > - copy the package source out of the store (there is probably a better > thing to do here) > > - in source: './configure --help' to see config options > > - 'M-x Guix edit ' & modify #:configure-flags > > - build the package: 'C-u . b' > > - install the new version > > - verify the package behavior has changed > > - commit the change > > - produce a potential guix patch > > Note: I am not a 'M-x guix-edit' "daily driver". I hope others who are > will comment/improve the outline. > > ISTM this scenario is useful because ... > > 1) it shows the control that guix gives to users > > 2) a knowledgeable user can follow it to help improve how > runs in guix. > > HTH - George > +1 From mboxrd@z Thu Jan 1 00:00:00 1970 From: Catonano Subject: Re: is it me ? Date: Fri, 5 May 2017 18:01:08 +0200 Message-ID: References: <87d1br39r8.fsf@gmail.com> <86k25zm6fw.fsf@gmail.com> <86d1bpn4h9.fsf@gmail.com> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=94eb2c0dd52469bd89054ec8ff62 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52819) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d6ffM-00035Y-SY for help-guix@gnu.org; Fri, 05 May 2017 12:01:13 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d6ffM-0005dL-2s for help-guix@gnu.org; Fri, 05 May 2017 12:01:13 -0400 In-Reply-To: <86d1bpn4h9.fsf@gmail.com> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: myglc2 , Amirouche Boubekki Cc: Alex Kost , help-guix --94eb2c0dd52469bd89054ec8ff62 Content-Type: text/plain; charset=UTF-8 2017-05-03 21:08 GMT+02:00 myglc2 : > On 05/03/2017 at 18:05 Catonano writes: > > > 2017-05-02 20:58 GMT+02:00 myglc2 : > > > > As it stands, your video is a great sanity check for someone wondering > > if their emacs-guix environment is working properly. It is also a great > > demonstration of how easy it is for a guix user to see and, with a git > > checkout, modify a package. > > > > If you expanded it a bit to illustrate a few > > more guix-edit/geiser features, it could be a great addition to the > > guix-video-verse, and, IMO, a good thing to add to www.gnu.or > > > > Which eatures, exactly, you would like to be showed ? > > How about a scenario like this, all done from within emacs-guix running > against a git checkout ... > > - find a package > > - install it > > - observe how it is working > > - consider changing a config flag > > - 'M-x Guix edit ' > > - download the source: 'C-u . s' > I didn't kknow this one ! > > - copy the package source out of the store (there is probably a better > thing to do here) > > - in source: './configure --help' to see config options > > - 'M-x Guix edit ' & modify #:configure-flags > I think you can't modify a package in place. In fact, with guix edit it gets open as ead only As far as I understand, you should clone it locally, edit the copy in that clone, build it, install it with ./pre-inst-env in that clone If that's not too pettifogging for you, i could try I'd also appreciate if you would suggest a package to del with, in this hypotetical footage > > - build the package: 'C-u . b' > This one, for example, would require you to run the emacs-guix facilities on a local clone and I don't know how to do that I remember Ludo doing this in a footage but I could use a reminder. Thanks again --94eb2c0dd52469bd89054ec8ff62 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
2017-05-03 21:08 GMT+02:00 myglc2 <myglc2@gmail.com>= ;:
On 05/03/2017 at 18:05 Catonano wri= tes:

> 2017-05-02 20:58 GMT+02:00 myglc2 <myglc2@gmail.com>:
>
>=C2=A0 As it stands, your video is a great sani= ty check for someone wondering
>=C2=A0 if their emacs-guix environment is working properly. It is also = a great
>=C2=A0 demonstration of how easy it is for a guix user to see and, with= a git
>=C2=A0 checkout, modify a package.
>
>=C2=A0 If you expanded it a bit to illustrate a= few
>=C2=A0 more guix-edit/geiser features, it could be a great addition to = the
>=C2=A0 guix-video-verse, and, IMO, a good thing to add to www.gnu.or >
> Which eatures, exactly, you would like to be showed ?

How about a scenario like this, all done from within emacs-guix runn= ing
against a git checkout ...

- find a package

- install it

- observe how it is working

- consider changing a config flag

- 'M-x Guix edit <package>'

- download the source: 'C-u . s'

I didn't kknow this one !
=C2=A0

- copy the package source out of the store (there is probably a better
=C2=A0 thing to do here)

- in <package> source: './configure --help' to see config opt= ions

- 'M-x Guix edit <package>' & modify #:configure-flags

I think you can't modify a package in= place. In fact, with guix edit it gets open as ead only

= As far as I understand, you should clone it locally, edit the copy in that = clone, build it, install it with ./pre-inst-env in that clone

=
If that's not too pettifogging for you, i could try

<= div>I'd also appreciate if you would suggest a package to del with, in = this hypotetical footage
=C2=A0

- build the package: 'C-u . b'

= This one, for example, would require you to run the emacs-guix facilities o= n a local clone and I don't know how to do that

I rem= ember Ludo doing this in a footage but I could use a reminder.

Thanks again
--94eb2c0dd52469bd89054ec8ff62-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: myglc2 Subject: Re: is it me ? Date: Fri, 05 May 2017 22:07:11 -0400 Message-ID: <86h90yagc0.fsf@gmail.com> References: <87d1br39r8.fsf@gmail.com> <86k25zm6fw.fsf@gmail.com> <86d1bpn4h9.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:59866) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d6p7u-0004vP-35 for help-guix@gnu.org; Fri, 05 May 2017 22:07:19 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d6p7q-0002H1-SP for help-guix@gnu.org; Fri, 05 May 2017 22:07:18 -0400 In-Reply-To: (catonano@gmail.com's message of "Fri, 5 May 2017 18:01:08 +0200") List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Catonano Cc: Alex Kost , help-guix On 05/05/2017 at 18:01 Catonano writes: > 2017-05-03 21:08 GMT+02:00 myglc2 : > > On 05/03/2017 at 18:05 Catonano writes: > > > 2017-05-02 20:58 GMT+02:00 myglc2 : > > > > As it stands, your video is a great sanity check for someone wondering > > if their emacs-guix environment is working properly. It is also a great > > demonstration of how easy it is for a guix user to see and, with a git > > checkout, modify a package. > > > > If you expanded it a bit to illustrate a few > > more guix-edit/geiser features, it could be a great addition to the > > guix-video-verse, and, IMO, a good thing to add to www.gnu.or > > > > Which eatures, exactly, you would like to be showed ? > > How about a scenario like this, all done from within emacs-guix running > against a git checkout ... > > - find a package > > - install it > > - observe how it is working > > - consider changing a config flag > > - 'M-x Guix edit ' > > - download the source: 'C-u . s' > > I didn't kknow this one ! > > - copy the package source out of the store (there is probably a better > thing to do here) > > - in source: './configure --help' to see config options > > - 'M-x Guix edit ' & modify #:configure-flags > > I think you can't modify a package in place. In fact, with guix edit > it gets open as ead only > > As far as I understand, you should clone it locally, edit the copy in that clone, build it, install it with ./pre-inst-env in that clone > > If that's not too pettifogging for you, i could try Well, the scenario I outlined assumed running from a 'guix git checkout' because I had the impression that you were running that way. But it may be overkill for many users and it really might be better to create a demo using a 'guix pull' setup. This could focus on using emacs-guix to find, build, install, and inspect packages. It could also demonstrate editing the system config, reconfiguring the system, creating a user manifest and running 'guix package -m user.scm' Such a demo would be very cool and immediately relevant to anyone that has just installed guix or guixSD. > I'd also appreciate if you would suggest a package to del with, in > this hypotetical footage I followed a scenario like the one I fist outlined to figure out why emacs running in a terminal using screen had only 16 colors and how to fix it and submit a patch to make it have 256 colors. So I guess you could use that if you want to run from a terminal. But a better choice might be a package where you can see the results of a config change on the command line in an emacs shell buffer. I hope someone reading this will suggest such a package ;-) > - build the package: 'C-u . b' > > This one, for example, would require you to run the emacs-guix facilities on a local clone and I don't know how to do that > > I remember Ludo doing this in a footage but I could use a reminder. > > Thanks again Right. And I am happy to share my git checkout config with you if that would help. But... would you want to first do the 'git pull' based demo? HTH - George From mboxrd@z Thu Jan 1 00:00:00 1970 From: Catonano Subject: Re: is it me ? Date: Sat, 6 May 2017 09:33:23 +0200 Message-ID: References: <87d1br39r8.fsf@gmail.com> <86k25zm6fw.fsf@gmail.com> <86d1bpn4h9.fsf@gmail.com> <86h90yagc0.fsf@gmail.com> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=f403045c2d4c5e60f4054ed60593 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:45467) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d6uDc-0003mq-T2 for help-guix@gnu.org; Sat, 06 May 2017 03:33:34 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d6uDb-0001j8-De for help-guix@gnu.org; Sat, 06 May 2017 03:33:32 -0400 Received: from mail-wm0-x230.google.com ([2a00:1450:400c:c09::230]:37735) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1d6uDb-0001b5-3Y for help-guix@gnu.org; Sat, 06 May 2017 03:33:31 -0400 Received: by mail-wm0-x230.google.com with SMTP id m123so22377855wma.0 for ; Sat, 06 May 2017 00:33:24 -0700 (PDT) In-Reply-To: <86h90yagc0.fsf@gmail.com> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: myglc2 Cc: help-guix --f403045c2d4c5e60f4054ed60593 Content-Type: text/plain; charset=UTF-8 2017-05-06 4:07 GMT+02:00 myglc2 : > On 05/05/2017 at 18:01 Catonano writes: > > > 2017-05-03 21:08 GMT+02:00 myglc2 : > > > > On 05/03/2017 at 18:05 Catonano writes: > > > > > 2017-05-02 20:58 GMT+02:00 myglc2 : > > > > > > As it stands, your video is a great sanity check for someone wondering > > > if their emacs-guix environment is working properly. It is also a > great > > > demonstration of how easy it is for a guix user to see and, with a git > > > checkout, modify a package. > > > > > > If you expanded it a bit to illustrate a few > > > more guix-edit/geiser features, it could be a great addition to the > > > guix-video-verse, and, IMO, a good thing to add to www.gnu.or > > > > > > Which eatures, exactly, you would like to be showed ? > > > > How about a scenario like this, all done from within emacs-guix running > > against a git checkout ... > > > > - find a package > > > > - install it > > > > - observe how it is working > > > > - consider changing a config flag > > > > - 'M-x Guix edit ' > > > > - download the source: 'C-u . s' > > > > I didn't kknow this one ! > > > > - copy the package source out of the store (there is probably a better > > thing to do here) > > > > - in source: './configure --help' to see config options > > > > - 'M-x Guix edit ' & modify #:configure-flags > > > > I think you can't modify a package in place. In fact, with guix edit > > it gets open as ead only > > > > As far as I understand, you should clone it locally, edit the copy in > that clone, build it, install it with ./pre-inst-env in that clone > > > > If that's not too pettifogging for you, i could try > > Well, the scenario I outlined assumed running from a 'guix git checkout' > No. I don't know how to run the Emacs guix-* commands on a checkout > because I had the impression that you were running that way. But it may > be overkill for many users and it really might be better to create a > demo using a 'guix pull' setup. This could focus on using emacs-guix to > find, build, install, and inspect packages. That I can do > It could also demonstrate > editing the system config, reconfiguring the system, creating a user > manifest and running 'guix package -m user.scm' That, I'm not sure I can do. I never created a manifest and I never run guix pakage - a-file.scm Would you mind to write done the relevant commands for me ? > > I hope someone reading this will suggest such a package ;-) > Right, I'm open to suggestions > > > - build the package: 'C-u . b' > > > > This one, for example, would require you to run the emacs-guix > facilities on a local clone and I don't know how to do that > > > > I remember Ludo doing this in a footage but I could use a reminder. > > > > Thanks again > > Right. And I am happy to share my git checkout config with you if that > would help. > I'm not sure I understand, here. Have you a system configuration that builds a system based on a guix git checkout ? I can't do that, either. I'd love to see it > > But... would you want to first do the 'git pull' based demo? > Yes. The git chheckout could be a second step Thanks for your help ! --f403045c2d4c5e60f4054ed60593 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


2017-05-06 4:07 GMT+02:00 myglc2 <myglc2@gmail.com>:
<= blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px= #ccc solid;padding-left:1ex">
On 05= /05/2017 at 18:01 Catonano writes:

> 2017-05-03 21:08 GMT+02:00 myglc2 <myglc2@gmail.com>:
>
>=C2=A0 On 05/03/2017 at 18:05 Catonano writes:
>
>=C2=A0 > 2017-05-02 20:58 GMT+02:00 myglc2 <myglc2@gmail.com>:
>=C2=A0 >
>=C2=A0 > As it stands, your video is a great sanity check for someon= e wondering
>=C2=A0 > if their emacs-guix environment is working properly. It is = also a great
>=C2=A0 > demonstration of how easy it is for a guix user to see and,= with a git
>=C2=A0 > checkout, modify a package.
>=C2=A0 >
>=C2=A0 > If you expanded it a bit to illustrate a few
>=C2=A0 > more guix-edit/geiser features, it could be a great additio= n to the
>=C2=A0 > guix-video-verse, and, IMO, a good thing to add to www.gnu.= or
>=C2=A0 >
>=C2=A0 > Which eatures, exactly, you would like to be showed ?
>
>=C2=A0 How about a scenario like this, all done from within emacs-guix = running
>=C2=A0 against a git checkout ...
>
>=C2=A0 - find a package
>
>=C2=A0 - install it
>
>=C2=A0 - observe how it is working
>
>=C2=A0 - consider changing a config flag
>
>=C2=A0 - 'M-x Guix edit <package>'
>
>=C2=A0 - download the source: 'C-u . s'
>
> I didn't kknow this one !
>
>=C2=A0 - copy the package source out of the store (there is probably a = better
>=C2=A0 thing to do here)
>
>=C2=A0 - in <package> source: './configure --help' to see= config options
>
>=C2=A0 - 'M-x Guix edit <package>' & modify #:configu= re-flags
>
> I think you can't modify a package in place. In fact, with guix ed= it
> it gets open as ead only
>
> As far as I understand, you should clone it locally, edit the copy in = that clone, build it, install it with ./pre-inst-env in that clone
>
> If that's not too pettifogging for you, i could try

Well, the scenario I outlined assumed running from a 'guix = git checkout'

No. I don't know = how to run the Emacs guix-* commands on a checkout
=C2=A0
because I had the impression that you were running that way. But it may
be overkill for many users and it really might be better to create a
demo using a 'guix pull' setup. This could focus on using emacs-gui= x to
find, build, install, and inspect packages.

That I can do
=C2=A0
It= could also demonstrate
editing the system config, reconfiguring the system, creating a user
manifest and running 'guix package -m user.scm'
<= br>
That, I'm not sure I can do. I never created a manifest a= nd I never run guix pakage - a-file.scm

Would = you mind to write done the relevant commands for me ?
=C2=A0
<= blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px= #ccc solid;padding-left:1ex">
I hope someone reading this will suggest such a package ;-)

Right, I'm open to suggestions
=C2=A0
=

>=C2=A0 - build the package: 'C-u . b'
>
> This one, for example, would require you to run the emacs-guix facilit= ies on a local clone and I don't know how to do that
>
> I remember Ludo doing this in a footage but I could use a reminder. >
> Thanks again

Right. And I am happy to share my git checkout config with you if th= at
would help.

I'm not sure I understa= nd, here.

Have you a system configuration that builds a s= ystem based on a guix git checkout ?
I can't do that, eit= her. I'd love to see it
=C2=A0

But... would you want to first do the 'git pull' based demo?

Yes. The git chheckout could be a second step=

Thanks for your help !
--f403045c2d4c5e60f4054ed60593-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: myglc2 Subject: Re: is it me ? Date: Sun, 07 May 2017 08:12:39 -0400 Message-ID: <86d1bkamrs.fsf@gmail.com> References: <87d1br39r8.fsf@gmail.com> <86k25zm6fw.fsf@gmail.com> <86d1bpn4h9.fsf@gmail.com> <86h90yagc0.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:59812) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d7L3O-00020R-Mh for help-guix@gnu.org; Sun, 07 May 2017 08:12:47 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d7L3L-0005rn-7B for help-guix@gnu.org; Sun, 07 May 2017 08:12:46 -0400 Received: from mail-qt0-x22b.google.com ([2607:f8b0:400d:c0d::22b]:32928) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1d7L3L-0005qT-3d for help-guix@gnu.org; Sun, 07 May 2017 08:12:43 -0400 Received: by mail-qt0-x22b.google.com with SMTP id t26so17139029qtg.0 for ; Sun, 07 May 2017 05:12:41 -0700 (PDT) In-Reply-To: (catonano@gmail.com's message of "Sat, 6 May 2017 09:33:23 +0200") List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Catonano Cc: help-guix On 05/06/2017 at 09:33 Catonano writes: > 2017-05-06 4:07 GMT+02:00 myglc2 : > > On 05/05/2017 at 18:01 Catonano writes: > > > 2017-05-03 21:08 GMT+02:00 myglc2 : > > > > On 05/03/2017 at 18:05 Catonano writes: > > > > > 2017-05-02 20:58 GMT+02:00 myglc2 : > > > > > > As it stands, your video is a great sanity check for someone wondering > > > if their emacs-guix environment is working properly. It is also a great > > > demonstration of how easy it is for a guix user to see and, with a git > > > checkout, modify a package. > > > > > > If you expanded it a bit to illustrate a few > > > more guix-edit/geiser features, it could be a great addition to the > > > guix-video-verse, and, IMO, a good thing to add to www.gnu.or > > > > > > Which eatures, exactly, you would like to be showed ? > > > > How about a scenario like this, all done from within emacs-guix running > > against a git checkout ... > > > > - find a package > > > > - install it > > > > - observe how it is working > > > > - consider changing a config flag > > > > - 'M-x Guix edit ' > > > > - download the source: 'C-u . s' > > > > I didn't kknow this one ! > > > > - copy the package source out of the store (there is probably a better > > thing to do here) > > > > - in source: './configure --help' to see config options > > > > - 'M-x Guix edit ' & modify #:configure-flags > > > > I think you can't modify a package in place. In fact, with guix edit > > it gets open as ead only > > > > As far as I understand, you should clone it locally, edit the copy in that clone, build it, install it with ./pre-inst-env in that clone > > > > If that's not too pettifogging for you, i could try > > Well, the scenario I outlined assumed running from a 'guix git checkout' > > No. I don't know how to run the Emacs guix-* commands on a checkout > > because I had the impression that you were running that way. But it may > be overkill for many users and it really might be better to create a > demo using a 'guix pull' setup. This could focus on using emacs-guix to > find, build, install, and inspect packages. > > That I can do > > It could also demonstrate > editing the system config, reconfiguring the system, creating a user > manifest and running 'guix package -m user.scm' > > That, I'm not sure I can do. I never created a manifest and I never run guix pakage - a-file.scm > > Would you mind to write done the relevant commands for me ? I have attached the user config manifest I am currently using. I apply it with ... guix package -m g1.scm ... you can also invoke this using the emacs-guix 'M-x guix' popup, which might be nicer to show in the demo. > I hope someone reading this will suggest such a package ;-) > > Right, I'm open to suggestions > > > - build the package: 'C-u . b' > > > > This one, for example, would require you to run the emacs-guix facilities on a local clone and I don't know how to do that > > > > I remember Ludo doing this in a footage but I could use a reminder. > > > > Thanks again > > Right. And I am happy to share my git checkout config with you if that > would help. > > I'm not sure I understand, here. I mean that I am running guix from a git checkout. There are a few different approaches to doing this. I can outline the approach that I use when you want it. > Have you a system configuration that builds a system based on a guix git checkout ? > I can't do that, either. I'd love to see it Hmm, I guess I don't know if you running GuixSD or Guix on another GNU/Linux OS. I was assuming you are running GuixSD and I was referring to doing ... guix system reconfigure sys.scm If you are running guix/GNU/Linux then you won't be able to include this in the demo. > But... would you want to first do the 'git pull' based demo? > > Yes. The git chheckout could be a second step Great, sounds like a good plan > Thanks for your help ! YW - George From mboxrd@z Thu Jan 1 00:00:00 1970 From: myglc2 Subject: Re: is it me ? Date: Sun, 07 May 2017 08:14:57 -0400 Message-ID: <868tm8amny.fsf@gmail.com> References: <87d1br39r8.fsf@gmail.com> <86k25zm6fw.fsf@gmail.com> <86d1bpn4h9.fsf@gmail.com> <86h90yagc0.fsf@gmail.com> <86d1bkamrs.fsf@gmail.com> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:60068) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d7L5b-0002Dk-3r for help-guix@gnu.org; Sun, 07 May 2017 08:15:04 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d7L5X-0006R8-VF for help-guix@gnu.org; Sun, 07 May 2017 08:15:03 -0400 Received: from mail-qk0-x234.google.com ([2607:f8b0:400d:c09::234]:36022) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1d7L5X-0006R2-O1 for help-guix@gnu.org; Sun, 07 May 2017 08:14:59 -0400 Received: by mail-qk0-x234.google.com with SMTP id u75so34132864qka.3 for ; Sun, 07 May 2017 05:14:59 -0700 (PDT) In-Reply-To: <86d1bkamrs.fsf@gmail.com> (myglc2@gmail.com's message of "Sun, 07 May 2017 08:12:39 -0400") List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Catonano Cc: help-guix --=-=-= Content-Type: text/plain Oops, and here is the attachment ... On 05/07/2017 at 08:12 myglc2 writes: > On 05/06/2017 at 09:33 Catonano writes: > >> 2017-05-06 4:07 GMT+02:00 myglc2 : >> >> On 05/05/2017 at 18:01 Catonano writes: >> >> > 2017-05-03 21:08 GMT+02:00 myglc2 : >> > >> > On 05/03/2017 at 18:05 Catonano writes: >> > >> > > 2017-05-02 20:58 GMT+02:00 myglc2 : >> > > >> > > As it stands, your video is a great sanity check for someone wondering >> > > if their emacs-guix environment is working properly. It is also a great >> > > demonstration of how easy it is for a guix user to see and, with a git >> > > checkout, modify a package. >> > > >> > > If you expanded it a bit to illustrate a few >> > > more guix-edit/geiser features, it could be a great addition to the >> > > guix-video-verse, and, IMO, a good thing to add to www.gnu.or >> > > >> > > Which eatures, exactly, you would like to be showed ? >> > >> > How about a scenario like this, all done from within emacs-guix running >> > against a git checkout ... >> > >> > - find a package >> > >> > - install it >> > >> > - observe how it is working >> > >> > - consider changing a config flag >> > >> > - 'M-x Guix edit ' >> > >> > - download the source: 'C-u . s' >> > >> > I didn't kknow this one ! >> > >> > - copy the package source out of the store (there is probably a better >> > thing to do here) >> > >> > - in source: './configure --help' to see config options >> > >> > - 'M-x Guix edit ' & modify #:configure-flags >> > >> > I think you can't modify a package in place. In fact, with guix edit >> > it gets open as ead only >> > >> > As far as I understand, you should clone it locally, edit the copy in that clone, build it, install it with ./pre-inst-env in that clone >> > >> > If that's not too pettifogging for you, i could try >> >> Well, the scenario I outlined assumed running from a 'guix git checkout' >> >> No. I don't know how to run the Emacs guix-* commands on a checkout >> >> because I had the impression that you were running that way. But it may >> be overkill for many users and it really might be better to create a >> demo using a 'guix pull' setup. This could focus on using emacs-guix to >> find, build, install, and inspect packages. >> >> That I can do >> >> It could also demonstrate >> editing the system config, reconfiguring the system, creating a user >> manifest and running 'guix package -m user.scm' >> >> That, I'm not sure I can do. I never created a manifest and I never run guix pakage - a-file.scm >> >> Would you mind to write done the relevant commands for me ? > > I have attached the user config manifest I am currently using. I apply > it with ... > > guix package -m g1.scm > > ... you can also invoke this using the emacs-guix 'M-x guix' popup, > which might be nicer to show in the demo. > >> I hope someone reading this will suggest such a package ;-) >> >> Right, I'm open to suggestions >> >> > - build the package: 'C-u . b' >> > >> > This one, for example, would require you to run the emacs-guix facilities on a local clone and I don't know how to do that >> > >> > I remember Ludo doing this in a footage but I could use a reminder. >> > >> > Thanks again >> >> Right. And I am happy to share my git checkout config with you if that >> would help. >> >> I'm not sure I understand, here. > > I mean that I am running guix from a git checkout. There are a few > different approaches to doing this. I can outline the approach that I > use when you want it. > >> Have you a system configuration that builds a system based on a guix git checkout ? >> I can't do that, either. I'd love to see it > > Hmm, I guess I don't know if you running GuixSD or Guix on another > GNU/Linux OS. I was assuming you are running GuixSD and I was referring > to doing ... > > guix system reconfigure sys.scm > > If you are running guix/GNU/Linux then you won't be able to include this > in the demo. > >> But... would you want to first do the 'git pull' based demo? >> >> Yes. The git chheckout could be a second step > > Great, sounds like a good plan > >> Thanks for your help ! > > YW - George --=-=-= Content-Type: application/octet-stream Content-Disposition: attachment; filename=g1.scm Content-Transfer-Encoding: base64 OzsgR3VpeCB1c2VyIGNvbmZpZwoodXNlLW1vZHVsZXMgKGdudSBwYWNrYWdlcykpCih1c2UtbW9k dWxlcyAoZ3VpeCBwcm9maWxlcykpCihwYWNrYWdlcy0+bWFuaWZlc3QKIChtYXAgKGNvbXBvc2Ug bGlzdCBzcGVjaWZpY2F0aW9uLT5wYWNrYWdlK291dHB1dCkKICAgICAgJygiYXNwZWxsIgoJImFz cGVsbC1kaWN0LWVuIgoJImVtYWNzLWFnIgoJImVtYWNzLWJ1aSIgOzsgdG8gYnVpbGQgZW1hY3Mt Z3VpeCBmcm9tIGdpdCBjaGVja291dAoJImVtYWNzLW5vLXgtdG9vbGtpdCIKCSJlbWFjcy1wYXJl ZGl0IgoJImVtYWNzLXBkZi10b29scyIKCSJlbWFjcy1zaW1wbGUtaHR0cGQiCgkiZW1hY3Mtd2Vi LW1vZGUiCgkiZW1hY3MtemVuYnVybi10aGVtZSIKCSJmb250LWRlamF2dSIKCSJmb250LWdudS1m cmVlZm9udC10dGYiCgkiZ2Vpc2VyIgoJImdob3N0c2NyaXB0IiAKCSJncmFwaHZpeiIKCSJncy1m b250cyIKCSJndWlsZS1jaGFydGluZyIKCSJndiIKCSJpY2VjYXQiCgkiaXN5bmMiCgkibWFnaXQi CgkibW9zaCIKCSJtdSIKCSJtdXBkZiIKCSJub3RtdWNoIgoJInNpY3AiCgkidGhlLXNpbHZlci1z ZWFyY2hlciIKCSJ0cmVlIgoJKSkpCg== --=-=-=-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: Catonano Subject: Re: is it me ? Date: Tue, 9 May 2017 18:44:23 +0200 Message-ID: References: <87d1br39r8.fsf@gmail.com> <86k25zm6fw.fsf@gmail.com> <86d1bpn4h9.fsf@gmail.com> <86h90yagc0.fsf@gmail.com> <86d1bkamrs.fsf@gmail.com> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=94eb2c0de2cc756d23054f1a11a0 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:56102) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d88FP-0007f5-BX for help-guix@gnu.org; Tue, 09 May 2017 12:44:28 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d88FN-0004SE-Pr for help-guix@gnu.org; Tue, 09 May 2017 12:44:27 -0400 Received: from mail-wr0-x235.google.com ([2a00:1450:400c:c0c::235]:33736) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1d88FN-0004Rd-F0 for help-guix@gnu.org; Tue, 09 May 2017 12:44:25 -0400 Received: by mail-wr0-x235.google.com with SMTP id w50so6945129wrc.0 for ; Tue, 09 May 2017 09:44:25 -0700 (PDT) In-Reply-To: <86d1bkamrs.fsf@gmail.com> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: myglc2 Cc: help-guix --94eb2c0de2cc756d23054f1a11a0 Content-Type: text/plain; charset=UTF-8 2017-05-07 14:12 GMT+02:00 myglc2 : > On 05/06/2017 at 09:33 Catonano writes: > > > 2017-05-06 4:07 GMT+02:00 myglc2 : > > > > On 05/05/2017 at 18:01 Catonano writes: > > > > > 2017-05-03 21:08 GMT+02:00 myglc2 : > > > > > > On 05/03/2017 at 18:05 Catonano writes: > > > > > > > 2017-05-02 20:58 GMT+02:00 myglc2 : > > > > > > > > As it stands, your video is a great sanity check for someone > wondering > > > > if their emacs-guix environment is working properly. It is also a > great > > > > demonstration of how easy it is for a guix user to see and, with a > git > > > > checkout, modify a package. > > > > > > > > If you expanded it a bit to illustrate a few > > > > more guix-edit/geiser features, it could be a great addition to the > > > > guix-video-verse, and, IMO, a good thing to add to www.gnu.or > > > > > > > > Which eatures, exactly, you would like to be showed ? > > > > > > How about a scenario like this, all done from within emacs-guix > running > > > against a git checkout ... > > > > > > - find a package > > > > > > - install it > > > > > > - observe how it is working > > > > > > - consider changing a config flag > > > > > > - 'M-x Guix edit ' > > > > > > - download the source: 'C-u . s' > > > > > > I didn't kknow this one ! > > > > > > - copy the package source out of the store (there is probably a better > > > thing to do here) > > > > > > - in source: './configure --help' to see config options > > > > > > - 'M-x Guix edit ' & modify #:configure-flags > > > > > > I think you can't modify a package in place. In fact, with guix edit > > > it gets open as ead only > > > > > > As far as I understand, you should clone it locally, edit the copy in > that clone, build it, install it with ./pre-inst-env in that clone > > > > > > If that's not too pettifogging for you, i could try > > > > Well, the scenario I outlined assumed running from a 'guix git checkout' > > > > No. I don't know how to run the Emacs guix-* commands on a checkout > > > > because I had the impression that you were running that way. But it may > > be overkill for many users and it really might be better to create a > > demo using a 'guix pull' setup. This could focus on using emacs-guix to > > find, build, install, and inspect packages. > > > > That I can do > > > > It could also demonstrate > > editing the system config, reconfiguring the system, creating a user > > manifest and running 'guix package -m user.scm' > > > > That, I'm not sure I can do. I never created a manifest and I never run > guix pakage - a-file.scm > > > > Would you mind to write done the relevant commands for me ? > > I have attached the user config manifest I am currently using. I apply > it with ... > > guix package -m g1.scm > > ... you can also invoke this using the emacs-guix 'M-x guix' popup, > which might be nicer to show in the demo. > Oh I see now. Thanks ! > > > I hope someone reading this will suggest such a package ;-) > > > > Right, I'm open to suggestions > > > > > - build the package: 'C-u . b' > > > > > > This one, for example, would require you to run the emacs-guix > facilities on a local clone and I don't know how to do that > > > > > > I remember Ludo doing this in a footage but I could use a reminder. > > > > > > Thanks again > > > > Right. And I am happy to share my git checkout config with you if that > > would help. > > > > I'm not sure I understand, here. > > I mean that I am running guix from a git checkout. There are a few > different approaches to doing this. I can outline the approach that I > use when you want it. > > Yes, I' d like you to outline the approaches you are referring to. Thanks > > Have you a system configuration that builds a system based on a guix git > checkout ? > > I can't do that, either. I'd love to see it > > Hmm, I guess I don't know if you running GuixSD or Guix on another > GNU/Linux OS. I was assuming you are running GuixSD and I was referring > to doing ... > Yes, I am running GuixSD. I' m not on a host distro What I mean is that if I invoke the Emacs Guix commands, they will show the host guix installation If I checkout a guix master branch then I can operate it ONLY via the terminal What I can do is launching a REPL with pre-inst.env and then connect to it from within Emacs and use scheme commands from within Emacs But I can' t show the beautiful buffers of the Emacs Guix commands in a way that they refer to a checked out master branch. So I don' t know how to inspect a package definition, edit it _in place_ and then produce a patch from within guix-emacs I hope I made the problem clear --94eb2c0de2cc756d23054f1a11a0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


2017-05-07 14:12 GMT+02:00 myglc2 <myglc2@gmail.com>:
=
On 0= 5/06/2017 at 09:33 Catonano writes:

> 2017-05-06 4:07 GMT+02:00 myglc2 <myglc2@gmail.com>:
>
>=C2=A0 On 05/05/2017 at 18:01 Catonano writes:
>
>=C2=A0 > 2017-05-03 21:08 GMT+02:00 myglc2 <myglc2@gmail.com>:
>=C2=A0 >
>=C2=A0 > On 05/03/2017 at 18:05 Catonano writes:
>=C2=A0 >
>=C2=A0 > > 2017-05-02 20:58 GMT+02:00 myglc2 <myglc2@gmail.com>:
>=C2=A0 > >
>=C2=A0 > > As it stands, your video is a great sanity check for s= omeone wondering
>=C2=A0 > > if their emacs-guix environment is working properly. I= t is also a great
>=C2=A0 > > demonstration of how easy it is for a guix user to see= and, with a git
>=C2=A0 > > checkout, modify a package.
>=C2=A0 > >
>=C2=A0 > > If you expanded it a bit to illustrate a few
>=C2=A0 > > more guix-edit/geiser features, it could be a great ad= dition to the
>=C2=A0 > > guix-video-verse, and, IMO, a good thing to add to www= .gnu.or
>=C2=A0 > >
>=C2=A0 > > Which eatures, exactly, you would like to be showed ?<= br> >=C2=A0 >
>=C2=A0 > How about a scenario like this, all done from within emacs-= guix running
>=C2=A0 > against a git checkout ...
>=C2=A0 >
>=C2=A0 > - find a package
>=C2=A0 >
>=C2=A0 > - install it
>=C2=A0 >
>=C2=A0 > - observe how it is working
>=C2=A0 >
>=C2=A0 > - consider changing a config flag
>=C2=A0 >
>=C2=A0 > - 'M-x Guix edit <package>'
>=C2=A0 >
>=C2=A0 > - download the source: 'C-u . s'
>=C2=A0 >
>=C2=A0 > I didn't kknow this one !
>=C2=A0 >
>=C2=A0 > - copy the package source out of the store (there is probab= ly a better
>=C2=A0 > thing to do here)
>=C2=A0 >
>=C2=A0 > - in <package> source: './configure --help' t= o see config options
>=C2=A0 >
>=C2=A0 > - 'M-x Guix edit <package>' & modify #:co= nfigure-flags
>=C2=A0 >
>=C2=A0 > I think you can't modify a package in place. In fact, w= ith guix edit
>=C2=A0 > it gets open as ead only
>=C2=A0 >
>=C2=A0 > As far as I understand, you should clone it locally, edit t= he copy in that clone, build it, install it with ./pre-inst-env in that clo= ne
>=C2=A0 >
>=C2=A0 > If that's not too pettifogging for you, i could try
>
>=C2=A0 Well, the scenario I outlined assumed running from a 'guix g= it checkout'
>
> No. I don't know how to run the Emacs guix-* commands on a checkou= t
>
>=C2=A0 because I had the impression that you were running that way. But= it may
>=C2=A0 be overkill for many users and it really might be better to crea= te a
>=C2=A0 demo using a 'guix pull' setup. This could focus on usin= g emacs-guix to
>=C2=A0 find, build, install, and inspect packages.
>
> That I can do
>
>=C2=A0 It could also demonstrate
>=C2=A0 editing the system config, reconfiguring the system, creating a = user
>=C2=A0 manifest and running 'guix package -m user.scm'
>
> That, I'm not sure I can do. I never created a manifest and I neve= r run guix pakage - a-file.scm
>
> Would you mind to write done the relevant commands for me ?

I have attached the user config manifest I am currently using. = I apply
it with ...

guix package -m g1.scm

... you can also invoke this using the emacs-guix 'M-x guix' popup,=
which might be nicer to show in the demo.

Oh I see now. Thanks !
=C2=A0

>=C2=A0 I hope someone reading this will suggest such a package ;-)
>
> Right, I'm open to suggestions
>
>=C2=A0 > - build the package: 'C-u . b'
>=C2=A0 >
>=C2=A0 > This one, for example, would require you to run the emacs-g= uix facilities on a local clone and I don't know how to do that
>=C2=A0 >
>=C2=A0 > I remember Ludo doing this in a footage but I could use a r= eminder.
>=C2=A0 >
>=C2=A0 > Thanks again
>
>=C2=A0 Right. And I am happy to share my git checkout config with you i= f that
>=C2=A0 would help.
>
> I'm not sure I understand, here.

I mean that I am running guix from a git checkout. There are a few different approaches to doing this. I can outline the approach that I
use when you want it.


Yes, I' d = like you to outline the approaches you are referring to. Thanks
=C2=A0
> Have you a system configuration that builds a system based on a guix g= it checkout ?
> I can't do that, either. I'd love to see it

Hmm, I guess I don't know if you running GuixSD or Guix on anoth= er
GNU/Linux OS. I was assuming you are running GuixSD and I was referring
to doing ...

Yes, I am running GuixSD. = I' m not on a host distro
=C2=A0
What I mean is that i= f I invoke the Emacs Guix commands, they will show the host guix installati= on

If I checkout a guix master branch then I can operate = it ONLY via the terminal

What I can do=C2=A0 is launching= a REPL with pre-inst.env and then connect to it from within Emacs and use = scheme commands from within Emacs

But I can' t show t= he beautiful buffers of the Emacs Guix commands in a way that they refer to= a checked out master branch.

So I don' t know how to= inspect a package definition, edit it _in place_ and then produce a patch = from within guix-emacs

I hope I made the probl= em clear
--94eb2c0de2cc756d23054f1a11a0-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: myglc2 Subject: Re: is it me ? Date: Thu, 11 May 2017 11:21:58 -0400 Message-ID: <86mvajwh9l.fsf@gmail.com> References: <87d1br39r8.fsf@gmail.com> <86k25zm6fw.fsf@gmail.com> <86d1bpn4h9.fsf@gmail.com> <86h90yagc0.fsf@gmail.com> <86d1bkamrs.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:58373) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d8pum-0004T8-By for help-guix@gnu.org; Thu, 11 May 2017 11:22:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d8pui-00022L-6S for help-guix@gnu.org; Thu, 11 May 2017 11:22:04 -0400 Received: from mail-qk0-x233.google.com ([2607:f8b0:400d:c09::233]:32986) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1d8pui-00021c-07 for help-guix@gnu.org; Thu, 11 May 2017 11:22:00 -0400 Received: by mail-qk0-x233.google.com with SMTP id y201so25353845qka.0 for ; Thu, 11 May 2017 08:21:59 -0700 (PDT) In-Reply-To: (catonano@gmail.com's message of "Tue, 9 May 2017 18:44:23 +0200") List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Catonano Cc: help-guix On 05/09/2017 at 18:44 Catonano writes: > 2017-05-07 14:12 GMT+02:00 myglc2 : > > On 05/06/2017 at 09:33 Catonano writes: > > > 2017-05-06 4:07 GMT+02:00 myglc2 : > > > > On 05/05/2017 at 18:01 Catonano writes: > > > > > 2017-05-03 21:08 GMT+02:00 myglc2 : > > > > > > On 05/03/2017 at 18:05 Catonano writes: > > > > > > > 2017-05-02 20:58 GMT+02:00 myglc2 : > > > > > > > > As it stands, your video is a great sanity check for someone wondering > > > > if their emacs-guix environment is working properly. It is also a great > > > > demonstration of how easy it is for a guix user to see and, with a git > > > > checkout, modify a package. > > > > > > > > If you expanded it a bit to illustrate a few > > > > more guix-edit/geiser features, it could be a great addition to the > > > > guix-video-verse, and, IMO, a good thing to add to www.gnu.or > > > > > > > > Which eatures, exactly, you would like to be showed ? > > > > > > How about a scenario like this, all done from within emacs-guix running > > > against a git checkout ... > > > > > > - find a package > > > > > > - install it > > > > > > - observe how it is working > > > > > > - consider changing a config flag > > > > > > - 'M-x Guix edit ' > > > > > > - download the source: 'C-u . s' > > > > > > I didn't kknow this one ! > > > > > > - copy the package source out of the store (there is probably a better > > > thing to do here) > > > > > > - in source: './configure --help' to see config options > > > > > > - 'M-x Guix edit ' & modify #:configure-flags > > > > > > I think you can't modify a package in place. In fact, with guix edit > > > it gets open as ead only > > > > > > As far as I understand, you should clone it locally, edit the copy in that clone, build it, install it with ./pre-inst-env in that clone > > > > > > If that's not too pettifogging for you, i could try > > > > Well, the scenario I outlined assumed running from a 'guix git checkout' > > > > No. I don't know how to run the Emacs guix-* commands on a checkout > > > > because I had the impression that you were running that way. But it may > > be overkill for many users and it really might be better to create a > > demo using a 'guix pull' setup. This could focus on using emacs-guix to > > find, build, install, and inspect packages. > > > > That I can do > > > > It could also demonstrate > > editing the system config, reconfiguring the system, creating a user > > manifest and running 'guix package -m user.scm' > > > > That, I'm not sure I can do. I never created a manifest and I never run guix pakage - a-file.scm > > > > Would you mind to write done the relevant commands for me ? > > I have attached the user config manifest I am currently using. I apply > it with ... > > guix package -m g1.scm > > ... you can also invoke this using the emacs-guix 'M-x guix' popup, > which might be nicer to show in the demo. > > Oh I see now. Thanks ! > > > I hope someone reading this will suggest such a package ;-) > > > > Right, I'm open to suggestions > > > > > - build the package: 'C-u . b' > > > > > > This one, for example, would require you to run the emacs-guix facilities on a local clone and I don't know how to do that > > > > > > I remember Ludo doing this in a footage but I could use a reminder. > > > > > > Thanks again > > > > Right. And I am happy to share my git checkout config with you if that > > would help. > > > > I'm not sure I understand, here. > > I mean that I am running guix from a git checkout. There are a few > different approaches to doing this. I can outline the approach that I > use when you want it. > > Yes, I' d like you to outline the approaches you are referring > to. Thanks Hi, I just posted (and ccd you) my setup on another thread. Please let me know if you have questions. > > Have you a system configuration that builds a system based on a guix git checkout ? > > I can't do that, either. I'd love to see it > > Hmm, I guess I don't know if you running GuixSD or Guix on another > GNU/Linux OS. I was assuming you are running GuixSD and I was referring > to doing ... > > Yes, I am running GuixSD. I' m not on a host distro > > What I mean is that if I invoke the Emacs Guix commands, they will > show the host guix installation Yes, this is what happens in a "vanilla" guix installation. You see the read-only guix code. > If I checkout a guix master branch then I can operate it ONLY via the > terminal I run on a headless server, so I don't have personal experience with a desktop installation, but I don't believe the limitation you describe actually exists. > What I can do is launching a REPL with pre-inst.env and then connect > to it from within Emacs and use scheme commands from within Emacs Yes, you can do that. But I don't because I hate typing ;-) > But I can' t show the beautiful buffers of the Emacs Guix commands in a way that they refer to a checked out master branch. > > So I don' t know how to inspect a package definition, edit it _in > place_ and then produce a patch from within guix-emacs Please try the setup that I posted. I think you will find that it allows you to do this. HTH - George From mboxrd@z Thu Jan 1 00:00:00 1970 From: Catonano Subject: Re: is it me ? Date: Sun, 14 May 2017 09:16:29 +0200 Message-ID: References: <87d1br39r8.fsf@gmail.com> <86k25zm6fw.fsf@gmail.com> <86d1bpn4h9.fsf@gmail.com> <86h90yagc0.fsf@gmail.com> <86d1bkamrs.fsf@gmail.com> <86mvajwh9l.fsf@gmail.com> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="f403045c0d04b3a165054f76b774" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:34733) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d9nlb-00028x-24 for help-guix@gnu.org; Sun, 14 May 2017 03:16:36 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d9nlZ-0006ZG-EX for help-guix@gnu.org; Sun, 14 May 2017 03:16:35 -0400 Received: from mail-wm0-x235.google.com ([2a00:1450:400c:c09::235]:37055) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1d9nlZ-0006X3-40 for help-guix@gnu.org; Sun, 14 May 2017 03:16:33 -0400 Received: by mail-wm0-x235.google.com with SMTP id d127so45380304wmf.0 for ; Sun, 14 May 2017 00:16:31 -0700 (PDT) In-Reply-To: <86mvajwh9l.fsf@gmail.com> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: myglc2 Cc: help-guix --f403045c0d04b3a165054f76b774 Content-Type: text/plain; charset="UTF-8" 2017-05-11 17:21 GMT+02:00 myglc2 : > On 05/09/2017 at 18:44 Catonano writes: > > > 2017-05-07 14:12 GMT+02:00 myglc2 : > > > > On 05/06/2017 at 09:33 Catonano writes: > > > > > 2017-05-06 4:07 GMT+02:00 myglc2 : > > > > > > On 05/05/2017 at 18:01 Catonano writes: > > > > > > > 2017-05-03 21:08 GMT+02:00 myglc2 : > > > > > > > > On 05/03/2017 at 18:05 Catonano writes: > > > > > > > > > 2017-05-02 20:58 GMT+02:00 myglc2 : > > > > > > > > > > As it stands, your video is a great sanity check for someone > wondering > > > > > if their emacs-guix environment is working properly. It is also a > great > > > > > demonstration of how easy it is for a guix user to see and, with > a git > > > > > checkout, modify a package. > > > > > > > > > > If you expanded it a bit to illustrate a few > > > > > more guix-edit/geiser features, it could be a great addition to > the > > > > > guix-video-verse, and, IMO, a good thing to add to www.gnu.or > > > > > > > > > > Which eatures, exactly, you would like to be showed ? > > > > > > > > How about a scenario like this, all done from within emacs-guix > running > > > > against a git checkout ... > > > > > > > > - find a package > > > > > > > > - install it > > > > > > > > - observe how it is working > > > > > > > > - consider changing a config flag > > > > > > > > - 'M-x Guix edit ' > > > > > > > > - download the source: 'C-u . s' > > > > > > > > I didn't kknow this one ! > > > > > > > > - copy the package source out of the store (there is probably a > better > > > > thing to do here) > > > > > > > > - in source: './configure --help' to see config options > > > > > > > > - 'M-x Guix edit ' & modify #:configure-flags > > > > > > > > I think you can't modify a package in place. In fact, with guix edit > > > > it gets open as ead only > > > > > > > > As far as I understand, you should clone it locally, edit the copy > in that clone, build it, install it with ./pre-inst-env in that clone > > > > > > > > If that's not too pettifogging for you, i could try > > > > > > Well, the scenario I outlined assumed running from a 'guix git > checkout' > > > > > > No. I don't know how to run the Emacs guix-* commands on a checkout > > > > > > because I had the impression that you were running that way. But it > may > > > be overkill for many users and it really might be better to create a > > > demo using a 'guix pull' setup. This could focus on using emacs-guix > to > > > find, build, install, and inspect packages. > > > > > > That I can do > > > > > > It could also demonstrate > > > editing the system config, reconfiguring the system, creating a user > > > manifest and running 'guix package -m user.scm' > > > > > > That, I'm not sure I can do. I never created a manifest and I never > run guix pakage - a-file.scm > > > > > > Would you mind to write done the relevant commands for me ? > > > > I have attached the user config manifest I am currently using. I apply > > it with ... > > > > guix package -m g1.scm > > > > ... you can also invoke this using the emacs-guix 'M-x guix' popup, > > which might be nicer to show in the demo. > > > > Oh I see now. Thanks ! > > > > > I hope someone reading this will suggest such a package ;-) > > > > > > Right, I'm open to suggestions > > > > > > > - build the package: 'C-u . b' > > > > > > > > This one, for example, would require you to run the emacs-guix > facilities on a local clone and I don't know how to do that > > > > > > > > I remember Ludo doing this in a footage but I could use a reminder. > > > > > > > > Thanks again > > > > > > Right. And I am happy to share my git checkout config with you if that > > > would help. > > > > > > I'm not sure I understand, here. > > > > I mean that I am running guix from a git checkout. There are a few > > different approaches to doing this. I can outline the approach that I > > use when you want it. > > > > Yes, I' d like you to outline the approaches you are referring > > to. Thanks > > Hi, I just posted (and ccd you) my setup on another thread. Please let > me know if you have questions. > Thank youu verrry much ! > > > What I mean is that if I invoke the Emacs Guix commands, they will > > show the host guix installation > > > I run on a headless server, so I don't have personal experience with a > desktop installation, but I don't believe the limitation you describe > actually exists. > > Please try the setup that I posted. I think you will find that it allows > you to do this. > George, thank you so much for this suggestion, I hadn't considered this would have been possible. Does the manual mention this anywhere ? Otherwise the hypotetical footage would suggest this out of the blue and that could be disorienting to someone who is learning. But it's a very nifty trick ! Thanks ! --f403045c0d04b3a165054f76b774 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
2017-05-11 17:21 GMT+02:00 myglc2 <myglc2@gmail.com>= ;:
On 05/09/201= 7 at 18:44 Catonano writes:

> 2017-05-07 14:12 GMT+02:00 myglc2 <myglc2@gmail.com>:
>
>=C2=A0 On 05/06/2017 at 09:33 Catonano writes:
>
>=C2=A0 > 2017-05-06 4:07 GMT+02:00 myglc2 <myglc2@gmail.com>:
>=C2=A0 >
>=C2=A0 > On 05/05/2017 at 18:01 Catonano writes:
>=C2=A0 >
>=C2=A0 > > 2017-05-03 21:08 GMT+02:00 myglc2 <myglc2@gmail.com>:
>=C2=A0 > >
>=C2=A0 > > On 05/03/2017 at 18:05 Catonano writes:
>=C2=A0 > >
>=C2=A0 > > > 2017-05-02 20:58 GMT+02:00 myglc2 <myglc2@gmail.com>:
>=C2=A0 > > >
>=C2=A0 > > > As it stands, your video is a great sanity check = for someone wondering
>=C2=A0 > > > if their emacs-guix environment is working proper= ly. It is also a great
>=C2=A0 > > > demonstration of how easy it is for a guix user t= o see and, with a git
>=C2=A0 > > > checkout, modify a package.
>=C2=A0 > > >
>=C2=A0 > > > If you expanded it a bit to illustrate a few
>=C2=A0 > > > more guix-edit/geiser features, it could be a gre= at addition to the
>=C2=A0 > > > guix-video-verse, and, IMO, a good thing to add t= o www.gnu.or
>=C2=A0 > > >
>=C2=A0 > > > Which eatures, exactly, you would like to be show= ed ?
>=C2=A0 > >
>=C2=A0 > > How about a scenario like this, all done from within e= macs-guix running
>=C2=A0 > > against a git checkout ...
>=C2=A0 > >
>=C2=A0 > > - find a package
>=C2=A0 > >
>=C2=A0 > > - install it
>=C2=A0 > >
>=C2=A0 > > - observe how it is working
>=C2=A0 > >
>=C2=A0 > > - consider changing a config flag
>=C2=A0 > >
>=C2=A0 > > - 'M-x Guix edit <package>'
>=C2=A0 > >
>=C2=A0 > > - download the source: 'C-u . s'
>=C2=A0 > >
>=C2=A0 > > I didn't kknow this one !
>=C2=A0 > >
>=C2=A0 > > - copy the package source out of the store (there is p= robably a better
>=C2=A0 > > thing to do here)
>=C2=A0 > >
>=C2=A0 > > - in <package> source: './configure --help&#= 39; to see config options
>=C2=A0 > >
>=C2=A0 > > - 'M-x Guix edit <package>' & modify= #:configure-flags
>=C2=A0 > >
>=C2=A0 > > I think you can't modify a package in place. In fa= ct, with guix edit
>=C2=A0 > > it gets open as ead only
>=C2=A0 > >
>=C2=A0 > > As far as I understand, you should clone it locally, e= dit the copy in that clone, build it, install it with ./pre-inst-env in tha= t clone
>=C2=A0 > >
>=C2=A0 > > If that's not too pettifogging for you, i could tr= y
>=C2=A0 >
>=C2=A0 > Well, the scenario I outlined assumed running from a 'g= uix git checkout'
>=C2=A0 >
>=C2=A0 > No. I don't know how to run the Emacs guix-* commands o= n a checkout
>=C2=A0 >
>=C2=A0 > because I had the impression that you were running that way= . But it may
>=C2=A0 > be overkill for many users and it really might be better to= create a
>=C2=A0 > demo using a 'guix pull' setup. This could focus on= using emacs-guix to
>=C2=A0 > find, build, install, and inspect packages.
>=C2=A0 >
>=C2=A0 > That I can do
>=C2=A0 >
>=C2=A0 > It could also demonstrate
>=C2=A0 > editing the system config, reconfiguring the system, creati= ng a user
>=C2=A0 > manifest and running 'guix package -m user.scm'
>=C2=A0 >
>=C2=A0 > That, I'm not sure I can do. I never created a manifest= and I never run guix pakage - a-file.scm
>=C2=A0 >
>=C2=A0 > Would you mind to write done the relevant commands for me ?=
>
>=C2=A0 I have attached the user config manifest I am currently using. I= apply
>=C2=A0 it with ...
>
>=C2=A0 guix package -m g1.scm
>
>=C2=A0 ... you can also invoke this using the emacs-guix 'M-x guix&= #39; popup,
>=C2=A0 which might be nicer to show in the demo.
>
> Oh I see now. Thanks !
>
>=C2=A0 > I hope someone reading this will suggest such a package ;-)=
>=C2=A0 >
>=C2=A0 > Right, I'm open to suggestions
>=C2=A0 >
>=C2=A0 > > - build the package: 'C-u . b'
>=C2=A0 > >
>=C2=A0 > > This one, for example, would require you to run the em= acs-guix facilities on a local clone and I don't know how to do that >=C2=A0 > >
>=C2=A0 > > I remember Ludo doing this in a footage but I could us= e a reminder.
>=C2=A0 > >
>=C2=A0 > > Thanks again
>=C2=A0 >
>=C2=A0 > Right. And I am happy to share my git checkout config with = you if that
>=C2=A0 > would help.
>=C2=A0 >
>=C2=A0 > I'm not sure I understand, here.
>
>=C2=A0 I mean that I am running guix from a git checkout. There are a f= ew
>=C2=A0 different approaches to doing this. I can outline the approach t= hat I
>=C2=A0 use when you want it.
>
> Yes, I' d like you to outline the approaches you are referring
> to. Thanks

Hi, I just posted (and ccd you) my setup on another thread. Ple= ase let
me know if you have questions.

Thank yo= uu verrry much !

=C2=A0

> What I mean is that if I invoke the Emacs Guix co= mmands, they will
> show the host guix installation


I run on a headless server, so I don't have personal experience = with a
desktop installation, but I don't believe the limitation you describe actually exists.

=C2=A0
Please try the setup that I posted. I think you will f= ind that it allows
you to do this.

George, thank you so=C2= =A0 much for this suggestion, I hadn't considered this would have been = possible.

Does the manual mention this anywhere ?

=
Otherwise the hypotetical footage would suggest this out of the = blue and that could be disorienting to someone who is learning.

But it's a very nifty trick !
Thanks !
--f403045c0d04b3a165054f76b774-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: myglc2 Subject: Re: is it me ? Date: Sun, 14 May 2017 09:06:15 -0400 Message-ID: <86o9uvd1vc.fsf@gmail.com> References: <87d1br39r8.fsf@gmail.com> <86k25zm6fw.fsf@gmail.com> <86d1bpn4h9.fsf@gmail.com> <86h90yagc0.fsf@gmail.com> <86d1bkamrs.fsf@gmail.com> <86mvajwh9l.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:42695) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d9tE4-0004dG-QP for help-guix@gnu.org; Sun, 14 May 2017 09:06:21 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d9tE1-0004cW-Lm for help-guix@gnu.org; Sun, 14 May 2017 09:06:20 -0400 Received: from mail-qt0-x229.google.com ([2607:f8b0:400d:c0d::229]:34394) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1d9tE1-0004c6-HA for help-guix@gnu.org; Sun, 14 May 2017 09:06:17 -0400 Received: by mail-qt0-x229.google.com with SMTP id c13so14467800qtc.1 for ; Sun, 14 May 2017 06:06:17 -0700 (PDT) In-Reply-To: (catonano@gmail.com's message of "Sun, 14 May 2017 09:16:29 +0200") List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Catonano Cc: help-guix On 05/14/2017 at 09:16 Catonano writes: > 2017-05-11 17:21 GMT+02:00 myglc2 : > > On 05/09/2017 at 18:44 Catonano writes: > > > 2017-05-07 14:12 GMT+02:00 myglc2 : > > > > On 05/06/2017 at 09:33 Catonano writes: > > > > > 2017-05-06 4:07 GMT+02:00 myglc2 : > > > > > > On 05/05/2017 at 18:01 Catonano writes: [...] > > > I'm not sure I understand, here. > > > > I mean that I am running guix from a git checkout. There are a few > > different approaches to doing this. I can outline the approach that I > > use when you want it. > > > > Yes, I' d like you to outline the approaches you are referring > > to. Thanks > > Hi, I just posted (and ccd you) my setup on another thread. Please let > me know if you have questions. > > Thank youu verrry much ! > > > What I mean is that if I invoke the Emacs Guix commands, they will > > show the host guix installation > > I run on a headless server, so I don't have personal experience with a > desktop installation, but I don't believe the limitation you describe > actually exists. > > Please try the setup that I posted. I think you will find that it allows > you to do this. > > George, thank you so much for this suggestion, I hadn't considered this would have been possible. > > Does the manual mention this anywhere ? > > Otherwise the hypotetical footage would suggest this out of the blue and that could be disorienting to someone who is learning. > > But it's a very nifty trick ! > Thanks ! YW. I believe that the manual documents all the config bits used. I arrived at it after reading IRC #guix over the last 12 months where it was described in bits and pieces by others. Quite a while ago I suggested adding a "how to" along these lines to the guix and emacs-guix manuals. The response from the developers was lukewarm: 1) adding such a section to a manual increases the difficulty of maintaining the manual, and 2) config is a matter of user choice. It could be put in a wiki, but I hate software wikis because they are usually out of date and therefore most often wrong. ISTM it might be put into a "guix-ide" package and/or user service & this would be the best way to make it available to users.