Re: Packaging Idris2

2022-08-21 Thread Andreas Reuleaux
"(" 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). &

Re: Packaging Idris2

2022-08-20 Thread Andreas Reuleaux
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

Re: guix on a debian system (with packages from experimental) - recommended day to day routine?

2021-09-02 Thread Andreas Reuleaux
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

Re: pulling from my personal channel only - is this possible ?

2021-09-02 Thread Andreas Reuleaux
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

Re: pulling from my personal channel only - is this possible ?

2021-09-01 Thread Andreas Reuleaux
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

Re: pulling from my personal channel only - is this possible ?

2021-09-01 Thread Andreas Reuleaux
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 >>

Re: pulling from my personal channel only - is this possible ?

2021-09-01 Thread Andreas Reuleaux
-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: >

Re: pulling from my personal channel only - is this possible ?

2021-09-01 Thread Andreas Reuleaux
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

Re: pulling from my personal channel only - is this possible ?

2021-09-01 Thread Andreas Reuleaux
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,

pulling from my personal channel only - is this possible ?

2021-09-01 Thread Andreas Reuleaux
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

guix on a debian system (with packages from experimental) - recommended day to day routine?

2021-08-29 Thread Andreas Reuleaux
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

Re: setting up my own channel (for some personal packages)

2021-08-28 Thread Andreas Reuleaux
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 :) >

setting up my own channel (for some personal packages)

2021-08-28 Thread Andreas Reuleaux
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

70-yes-bitmaps.conf

2021-08-26 Thread Andreas Reuleaux
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

Re: simple config with just startx not working for me

2021-08-24 Thread Andreas Reuleaux
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: >> &

emacs + straight.el

2021-08-22 Thread Andreas Reuleaux
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

Re: simple config with just startx not working for me

2021-08-22 Thread Andreas Reuleaux
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

Re: simple config with just startx not working for me

2021-08-22 Thread Andreas Reuleaux
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

Re: simple config with just startx not working for me

2021-08-21 Thread Andreas Reuleaux
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

simple config with just startx not working for me

2021-08-21 Thread Andreas Reuleaux
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

Re: system reconfigure, Git error: the SSL certificate is invalid

2020-07-27 Thread Andreas Reuleaux
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

system reconfigure, Git error: the SSL certificate is invalid

2020-07-25 Thread Andreas Reuleaux
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