"(" writes:
> Hi Andreas,
>
> On Sat Aug 20, 2022 at 11:01 PM BST, Andreas Reuleaux wrote:
>> You bootstrap it from scheme (chez or racket), as comes within the Idris2
>> tarball
>> (and built with Idris 2 itself: Idris2 -> Chez Scheme / Racket).
&
Csepp writes:
> Pierre-Henry Fröhring writes:
>
>> Well, I went from a `guix shell --container' up to `make test' passing ;
>> assuming a `chez-scheme' backend (no `node' nor `racket'). It boils down
>> to a shell session looking like:
>>
>> ┌
>> │ $ cd ~/src/
>> │ $ git clone g...@github.co
Well, thanks for answering this older question of mine as well. - I yet
have to study your answer in more detail (but not tonight any more).
-Andreas
zimoun writes:
> Hi
>
> On Mon, 30 Aug 2021 at 01:58, Andreas Reuleaux wrote:
>
>> Now, long story short: I wonder -- tw
Hi,
yes, this does make sense, and many thanks for writing this down in
detail. - I will follow your steps (and develop my own routine).
And computers are getting faster after all (to some extent still): My
53sec for pulling were on an 4 core i5 (with 16G RAM) - this e-mail I am
writing on a 8 co
m with some changes of my own?
Summary line: I guess I am beginning to understand your idea, but it practice it
does not make a difference, as each pull still takes more then 50sec.
Is there anyone else (pulling frequently) annoyed by these 53 sec
roughly each time ?
-Andreas
Andreas Reule
Thanks again, I will have a look (but not tonight any more).
-A
raingloom writes:
> On Wed, 01 Sep 2021 20:44:47 +0100
> Andreas Reuleaux wrote:
>
>> raingloom writes:
>>
>> > None that I'm aware of, but you don't need to push/pull to test
>>
-cut here---end--->8---
I.e. while developing (and pulling from my own channel frequently):
don't spend 53s each time, and then - once in a while - pull from both channels.
Thanks,
-A
Simon Streit writes:
> Hi Andreas,
>
> Andreas Reuleaux writes:
>
I replying to the list, even thought I have received your mail only
privately.
Thanks in any case.
-A
Simon Streit writes:
> Hi Andreas,
>
> Andreas Reuleaux writes:
>> While working on those packages, I often do a
>>
>> guix pull
>
> Hey, do you just want to pull, sa
raingloom writes:
> None that I'm aware of, but you don't need to push/pull to test
> anything. Just use the --load-path argument or the GUILE_LOAD_PATH
> environment variable. That way you can use a local checkout.
Well, OK, thanks:
I am experimenting, and apparently all three: guix pull,
Hi,
for developing some personal packages, I have set up a personal channel
( http://git.a-rx.info/channel, resp: git://git.a-rx.info/channel ).
And I have asked about doing so here before: this is working fine for me
now.
While working on those packages, I often do a
--8<---cut her
Having started with guix only recently (with a standalone GuixSD
on a spare machine i.e.), I cannot immediatly switch to working
with guix only (as much as I would like to), as I have come to depend on
many things debian over the years.
Thus I am trying to tackle this from both ends:
(1) learn so
arts with:
> (define-module (urweb)
>
> My interpretation is that the error message means that the
> emacs-hide-comnt module was not found where it was looked for, i.e. in
> gnu/packages.
>
> This may not be the only problem, but it is worth a try.
>
> Good luck :)
>
Hi,
I am trying to set up my own channel for some personal packages,
and I do have some success to that end, but I am still experiencing
issues:
TL;dr - short summary:
my package: emacs-hide-comnt.scm (below) breaks my setup for "guix pull"
(which otherwise works just fine without that pack
Hi,
I want bitmap fonts in X!
On my debian system this means:
--8<---cut here---start->8---
rm -f /etc/fonts/conf.d/70-no-bitmaps.conf
ln -f -s /usr/share/fontconfig/conf.avail/70-yes-bitmaps.conf /etc/fonts/conf.d
--8<---cut here---en
OK, thanks as well (for both of your messages).
I have X already running now from the commandline with sx
as suggested by 宋文武
Thanks in any case.
-A
"Boris A. Dekshteyn" writes:
> "Boris A. Dekshteyn" writes:
>
>> Andreas Reuleaux writes:
>>
&
OK, next question - I am progressing at least :-)
My emacs configuration is in terms of straight.el:
https://github.com/raxod502/straight.el
this works by placing the following stanza in my ~/.emacs.d/init.el
(as explained on the straight.el website):
(defvar bootstrap-ve
hi again,
sx is working fine for me now, thanks a lot again.
so far w/ i3 i.e. - I will want to replace that w/ sway (wayland) next.
-A
宋文武 writes:
> Andreas Reuleaux writes:
>
>> [...]
>> I want to start X on my system with startx - i.e. log into my system
>> j
OK, thanks for that as well: I will have a look.
-A
宋文武 writes:
> Andreas Reuleaux writes:
>
>> [...]
>> I want to start X on my system with startx - i.e. log into my system
>> just from a tty, and then start X by hand (and i3 will be my window
>> manager, I jus
ke these I find
discouraging / off putting - sorry to say this.
-A
Vagrant Cascadian writes:
> On 2021-08-21, Andreas Reuleaux wrote:
>> I am fairly new to guix, thus bear with me please.
>
> Welcome!
>
>> I want to start X on my system with startx - i.e. log into my s
I am fairly new to guix, thus bear with me please.
I want to start X on my system with startx - i.e. log into my system
just from a tty, and then start X by hand (and i3 will be my window
manager, I just have an .xsession file in my $HOME, where I start i3)
- I do not want any desktop-services / d
optimistic to me.
I still don't know exactly, what was causing this issue, but fine
with me, if I update my system as root once in a while.
Thanks,
-A
Andreas Reuleaux writes:
> Hi,
>
> In a slight variation of section 3.7 of the Guix Manual ("After System
> Installation
Hi,
In a slight variation of section 3.7 of the Guix Manual ("After System
Installation"), I regularly do
guix pull
as a regular user (rx in my case), and then (using rx's guix command),
as root:
# /home/rx/.config/guix/current/bin/guix system reconfigure /etc/config.scm
(i.e. instead of us
22 matches
Mail list logo