Re: What Python IDE are you using?

Luis Felipe writes: > On Tuesday, August 23rd, 2022 at 23:39, Luis Felipe > wrote: > >> On Tuesday, August 23rd, 2022 at 21:20, Fredrik Salomonsson >> platt...@posteo.net wrote: >> > >> > I generally use emacs + eglot [0]. It works great out of the box for me, >> > zero configuration on my pa

Re: What Python IDE are you using?

On Tuesday, August 23rd, 2022 at 23:39, Luis Felipe wrote: > On Tuesday, August 23rd, 2022 at 21:20, Fredrik Salomonsson > platt...@posteo.net wrote: > > > I generally use emacs + eglot [0]. It works great out of the box for me, > > zero configuration on my part. I can't speak much about spee

Re: What Python IDE are you using?

Hi Fredrik, On Tuesday, August 23rd, 2022 at 21:20, Fredrik Salomonsson wrote: > I generally use emacs + eglot [0]. It works great out of the box for me, > zero configuration on my part. I can't speak much about speed as the > python programming I do is over tramp, which tends to slow things do

Re: What Python IDE are you using?

Hi, Luis Felipe writes: > Hi, > What do you use to program in Python? Is the IDE you use dependable or does > it present these kinds of frequent problems too? I generally use emacs + eglot [0]. It works great out of the box for me, zero configuration on my part. I can't speak much about speed

Re: Kernel module build error with system image cross-build

I looked into this over the weekend. Frank Terbeck wrote: > […] like this: > > guix system image --target=arm-linux-gnueabihf > ~/src/guix/gnu/system/examples/beaglebone-black.tmpl > > After a while, this breaks like this: > […] > guix system: error: build of > `/gnu/store/lqwjj7fjf235psw2br

Re: What Python IDE are you using?

Hi raingloom, On Tuesday, August 23rd, 2022 at 11:34, Csepp wrote: > kakoune + kak-lsp + python-lsp-server + python-black + mypy, maybe a > kakoune editorconfig plugin too > > I load it in a guix shell and blamo, nice editor with pretty much every > IDE functionality you could dream of. > >

Re: What Python IDE are you using?

Hello Dr. Arne On Tuesday, August 23rd, 2022 at 05:28, Dr. Arne Babenhauserheide wrote: > I also experience problems with autocompletion at the moment. I’m > considering to switch back from company to auto-complete-mode, but I shy > away from the re-configuration effort at the moment. Good to

Re: Packaging Idris2

Looks very good IMHO, please do send it. I am not sure if I have sent it correctly. I have sent the patch to: . It resulted in this message: . — PHF

Re: Packaging Idris2

cont...@phfrohring.com writes: > Dear Guixers, > > I've a working package of `idris2' here: > . > It builds on previous work: . > Would it help to send it to `guix-patc...@gnu.org'? > > —PHF Looks very good IMHO, please

Re: What Python IDE are you using?

Luis Felipe writes: > [[PGP Signed Part:Undecided]] > Hi, > > I've been using Emacs Elpy as my Python IDE for a long time now, but > it's been failing to work properly for a while (currently, > autocompletion doesn't work; before that linting was not working). > > What do you use to program in

Re: Packaging Idris2

Dear Guixers, I've a working package of `idris2' here: . It builds on previous work: . Would it help to send it to `guix-patc...@gnu.org'? —PHF