g
to
localhost" ?
Maybe as an implicit default, so that it would work naturally as today.
And with some way to deny it for people who don't want to build locally
at all, whatever their reason might be.
Would that trim some "build locally"-specific code ?
Is that already how it
Hello,
Not about your commit authentication problem.
On Fri, Jul 12, 2024 at 9:28 PM Attila Lendvai wrote:
> add BPI-R4 support
> [...]
> ./pre-inst-env guix system image --system=armhf-linux [...]
Why using armhf instead of aarch64 for the BPI-R4 ?
--
Vincent Legoll
for each other.
>
Maybe that should be treated as a bug/issue.
--
Vincent Legoll
nd :
To be able to boot memtest, there are a couple requirements:
[...]
The memdisk kernel from the syslinux library
[...]
See page : https://ipxe.org/appnote/memtest?s[]=syslinux
So maybe add a comment somewhere explaining that those 2 things
won't work on any arch != x86_*
Maybe just add that to the commitmsg...
Regards
--
Vincent Legoll
Hello,
There is something here:
https://libreplanet.org/wiki/Group:Guix
--
Vincent Legoll
0)))
>
> one can write:
>
> (native-inputs (list autoconf automake pkg-config guile-3.0))
What about
> (native-inputs
> `(,autoconf
>("truc" ,muche)
>"pkg-config"
> ))
i.e. allowing package objects, tuples and names, and it would DTRT ?
Wouldn't something like that be possible ?
--
Vincent Legoll
Hello,
On Mon, May 3, 2021 at 4:11 PM Luis Felipe
wrote:
> I just sent a patch to add this (https://issues.guix.gnu.org/48187/).
At a cursory glance, it LGTM.
Thanks a lot.
--
Vincent Legoll
shutdown and keeps draining power
Yes, I'm also having problems to (re)boot.
> I've only tested with the "linux-libre-arm64-generic" kernels
Same here.
Thanks
--
Vincent Legoll
Thanks Christopher, Mathieu & Ludo to help us understand what's going on
--
Vincent Legoll
to get one of these?
> > What do you think?
>
> That’d be great; a few people were interested in a port to RISC-V.
>
> Could interested developers raise their hands? :-)
I am interested.
--
Vincent Legoll
On Wed, Apr 28, 2021 at 10:18 PM Ludovic Courtès wrote:
> What do people think?
I'd say distribute both, so the bandwidth-starved can get the
smaller, and the CPU-starved can get the uncompressed one.
--
Vincent Legoll
Hello Vagrant,
Thanks a lot for the update.
I'll see what I can do.
--
Vincent Legoll
some
> software they're all working on).
Yes, I know the term is overloaded, but it's easy and conveys at least
a bit of the subject at hands, so...
> Does that make any sense? Do say if you have more questions.
Yes, and I will, thanks
--
Vincent Legoll
patches/2020-04/msg01317.html
The wip-pbp branch:
why does it get merges from master instead
of being rebased (as wip-* branches can be) ?
How can one help getting things going upstream ?
Thanks to all people involved
--
Vincent Legoll
h explaining
what the differences are, how can they complement each other,
kind of the CI envisionned big picture...
Regards
--
Vincent Legoll
> I'll give it a shot
Here is an (untested) attempt, is it any good ?
--
Vincent Legoll
From 50f15a322e86591bc6e3572245c98eb79c0dfafb Mon Sep 17 00:00:00 2001
From: Vincent Legoll
Date: Mon, 19 Apr 2021 19:48:51 +0200
Subject: [PATCH] website: help: Add development manual link.
* webs
Hi,
On Mon, Apr 19, 2021 at 6:44 PM Luis Felipe
wrote:
> It sounds good to me. I added this to my list, but if someone else wants to
> do it, please go ahead.
I'll give it a shot
--
Vincent Legoll
Hello,
I think we could add a link to the devel doc [1] (with the appropriate
warnings) to the "all help" page.
WDYT ?
[1] https://guix.gnu.org/manual/devel/
--
Vincent Legoll
gentoo, openbsd & netbsd also still have support too.
--
Vincent Legoll
But that may be possible, so all hope is not lost.
--
Vincent Legoll
or how we can get a machine for powerpc CI? Maybe VMs, I
> guess? Can a POWER9 machine be a powerpc-linux machine...?
A VM on power9 may be able to run BE ppc32.
Regards
--
Vincent Legoll
;Ctrl - F5" to fix it. The Jobs column displays either the percentage or
> the build count but not both.
You're right, a forced reload (CTRL-SHIFT-R here) did the trick.
Thanks
--
Vincent Legoll
ere really a need for decimals for the %age, an integer would
be good enough ? (no more ".00%" nor "100.00%")
* could you give a bit more width so that it always fits in two lines ?
See the attached capture
Thanks, this is nice work / progress !
--
Vincent Legoll
t to
the guix-patches ML. As in: a followup to "xxx...@debbugs.gnu.org"
At least that was what I was +1'ing
--
Vincent Legoll
;ve just sent a patch to add this menu (https://issues.guix.gnu.org/47663).
I'm not sure if I can help, but this LGTM (untrained eyes)...
Thanks a lot
--
Vincent Legoll
myself,
for the same reasons. But it's still a bit pricey for me though.
I'd say you can talk about it, the way you proposed, as there's a high
probability that it will get the certification.
--
Vincent Legoll
or, more than on particular models...
Thanks
--
Vincent Legoll
aris.cfg ./_unixware7.cfg
./_unixware.cfg ./_win95.cfg ./_winnt.cfg
../../../dist/include/nspr/md
../../../config/./nsinstall: ../../../config/./nsinstall: cannot
execute binary file
mesa and afl refused because of meson-build-system.
--
Vincent Legoll
and as up to date as possible.
It already is only an index to ML, blog, git branches for some items,
and I think that's OK. I also think that the entries with a bit more
context (arch support, mainly) are also useful in explaining what
one can expect from that item.
Thanks
--
Vincent Legoll
Hello,
On Wed, Apr 7, 2021 at 5:03 PM Andreas Enge wrote:
> posting messages to the issues looks like a feasible and good thing to me,
> then all relevant information would be present in the same place.
Yes, +1 to that
--
Vincent Legoll
On Tue, Apr 6, 2021 at 9:18 PM Efraim Flashner wrote:
> On Tue, Apr 06, 2021 at 07:00:50PM +0200, Vincent Legoll wrote:
> > s/sporatically/sporadically/
>
> Not going to lie, spelling is hard. I normally have spell check turned
> off for scheme files.
But you *are* lying,
On Tue, Apr 6, 2021 at 9:18 PM Efraim Flashner wrote:
>
> On Tue, Apr 06, 2021 at 07:02:47PM +0200, Vincent Legoll wrote:
> > Hello,
> >
> > On Tue, Apr 6, 2021 at 2:44 PM Efraim Flashner
> > wrote:
> > > +((string-match "powe
Hello,
On Tue, Apr 6, 2021 at 2:44 PM Efraim Flashner wrote:
> +((string-match "powerpc" cpu) "ppc")
Won't there be some "powerpc64le" conflict here ?
--
Vincent Legoll
Hello,
On Tue, Apr 6, 2021 at 2:44 PM Efraim Flashner wrote:
> + ;; Tests on powerpc-linux take forever and fail sporatically.
s/sporatically/sporadically/
--
Vincent Legoll
Hello,
On Sun, Apr 4, 2021 at 10:49 PM Tobias Geerinckx-Rice wrote:
> nsis-x86_64
> mingw-w64-x86_64
> mingw-w64-x86_64-winpthreads
That will make really strange names, at least for those
--
Vincent Legoll
ject myself since my early tries with guix,
and just today, I got to know it is doable, and there are people just doing
it, and some hints about what & how to try it myself...
So thank you, and Raingloom.
--
Vincent Legoll
tch storage (way faster but
not durable, and would make the VM non migratable) to the VMs and
they may be able to do so in the future.
Tchuss
--
Vincent Legoll
.
[1] the Odroid N2 looks roughly 3x faster than the CI
on this specific build / test (total 30 mins vs 90).
--
Vincent Legoll
> I've restarted <https://ci.guix.gnu.org/build/133895/details>.
I'm seeing overdrive1 as idle (as a lot of hydra workers) yet the
restart is still in scheduled state.
What am I missing ?
--
Vincent Legoll
idden.
What should we do ? just wait for next build ?
--
Vincent Legoll
/WorkInProgress
--
Vincent Legoll
On Sat, Mar 27, 2021 at 7:11 PM Luis Felipe
wrote:
> I see a newly created page for Works in Progress, though
Yep, my announce and your email crossed past each other...
--
Vincent Legoll
The first bits are in, look:
https://libreplanet.org/wiki/Group:Guix/WorkInProgress
Add / enhance to tell what is running, where to find good recipes...
To create pages you have to score a few edits (I went
typo-hunting for a bit). I think about 5 should do.
--
Vincent Legoll
So OK with me.
--
Vincent Legoll
rom the help page).
There's something strange, the default link to the doc is for the /en/ language
when I selected the french web site, this could go directly to the
french version.
BTW, there's no rush to change this, as Leo, I can't create a page on
libreplanet's
wiki
--
Vincent Legoll
Maybe we can have both: a core-updates:'core with
a sufficient priority so that it is built often enough,
and then a core-updates:'all with the lowest priority
(batch) so that it does not steal any processing power
from the other more important stuff...
--
Vincent Legoll
On Sat, Mar 27, 2021 at 4:54 PM Luis Felipe
wrote:
> Or that, yes. I can send a patch to add a Wiki entry to the Help page instead
> of adding a "Wiki" item to the "About" menu.
Or even better a "Wiki" title bar entry of its own, like we have one
for "Blog"...
--
Vincent Legoll
Looks like we have a plan.
Now for the hard part, how do we name it ?
"Guix/WIP" or "Guix/WorkInProgress"
or
"Guix/Hacking", "Guix/CoolStuff", "Guix/BleedingEdge", "Guix/NewShiny"
Some of those may be half-jokes, I'd personally go with WorkInProgress.
--
Vincent Legoll
x27;s requirements,
but this is probably OK from a PoV of spam management.
--
Vincent Legoll
bootstrap
And probably other things I missed.
This should complement the ML archives, IRC logs or
blog, with pointers to (hopefully) more current infos
on those subjects.
WDYT ?
[1] I only (accidentally) discovered today that those
exist
--
Vincent Legoll
Hello,
I stumbled upon the following blog post:
https://www.mininodes.com/arm-server-update-fall-2020/
Which was a summary of what should be available.
I say "should" because some links are already dead now.
There are mentions of non-FLOSS things there.
--
Vincent Legoll
b/src/static/css/cuirass.css
@@ -4,6 +4,7 @@
#search #search-hints {
display: none;
position: absolute;
+z-index: 1;
top: 3em;
background: white;
border: 1px solid #ced4da;
--
Vincent Legoll
vements !
PS: Sorry for ENOPATCH but I'm not good at
web.
--
Vincent Legoll
privately) to host the same (1 or 2 WS power-class),
currently on ADSL uplink (so not for substitute distribution, only building),
FTTH in the future, no UPS though.
--
Vincent Legoll
On Sunday, March 21, 2021, raingloom wrote:
> On Fri, 19 Mar 2021 20:42:19 +0100
> Vincent Legoll wrote:
>
> > + '(#:tests? #f ;; No need for tests when you have formal proof
> > of correctness
> In just about any talk about Idris and Type Driven Development
On Fri, Mar 19, 2021 at 8:42 PM Vincent Legoll wrote:
>
> On Fri, Mar 19, 2021 at 7:02 PM Vincent Legoll
> wrote:
> > I have created a guix build recipe for seL4 recently, it builds, but I don't
> > know what to do with it :-)
> >
> > I'll send it
On Fri, Mar 19, 2021 at 7:02 PM Vincent Legoll wrote:
> I have created a guix build recipe for seL4 recently, it builds, but I don't
> know what to do with it :-)
>
> I'll send it as a followup to this thread, if any one is interested.
Here it is, ukernel only, hardcoded ar
seL4 (looks like seL4
started in 2006).
I have created a guix build recipe for seL4 recently, it builds, but I don't
know what to do with it :-)
I'll send it as a followup to this thread, if any one is interested.
--
Vincent Legoll
and core-updates merging. Why delay them for too long if
the potential
disruption is mitigated by going back to a workinig profile or system generation
(modulo the substitute availability which is almost only a compute resource
problem)
Cheers
--
Vincent Legoll
, but still providing what we have now so that
any one can try to push it a bit further.
--
Vincent Legoll
be an inclusion criteria
--
Vincent Legoll
; same as "ip r add default via 192.0.2.1 dev enp1s0"
> (route-add "default" #:device "enp1s0" #:via "192.0.2.1")
"via" could also be called "gateway" (maybe that's an oldtimer
thing ;-) )
But that's all kind of bikesheddy...
--
Vincent Legoll
Hello Chris,
On Fri, Mar 12, 2021 at 7:42 PM Chris Marusich wrote:
> Vincent Legoll writes:
> > I rebuilt guix on core-updates with gcc-8 succesfully
> > I'll now try the same above wip-ppc64le.
>
> Awesome! Thank you for doing this. I'm sure there will be some
Hello,
I rebuilt guix on core-updates with gcc-8 succesfully
I'll now try the same above wip-ppc64le.
--
Vincent Legoll
Hello Chris,
I'm all for that, what can I do to help ?
I don't have a Talos, though...
So only cross- or emulated- stuff...
Willing to help, but needs directions.
--
Vincent Legoll
> often I'll be unable to SSH in
Couldn't you get a console from a virtual serial port from the VM ?
BTW, looks like you're doing excellent work !
Thanks
--
Vincent Legoll
, but if you're copying the old code,
just name your "pinned" package "xpdf-4.02" so that it's not recognized
as "xpdf", and that should protect you from xpdf upgrades.
--
Vincent Legoll
d, the GUI viewer (xpdf) won't be built, but the
command line tools will still be built.
This is also documented here:
http://www.xpdfreader.com/download.html
There may exist a cmake param to get the old bare xpdf, but
I've not found it.
--
Vincent Legoll
tely bugs that you can report.
Done : https://issues.guix.gnu.org/45936
--
Vincent Legoll
" is older than "37 hours ago". The "<< < > >>"
> > buttons also act strangely. Do you see such things ?
> > Should I report them as bugs ?
>
> Yes looks like the search pagination and ordering is broken, those are
> definitely bugs that you can report.
I'll do it later today
Thanks
--
Vincent Legoll
doing a string comparison, where
"32 minutes ago" is older than "37 hours ago". The "<< < > >>"
buttons also act strangely. Do you see such things ?
Should I report them as bugs ?
Tchuss
--
Vincent Legoll
Hello,
I don't understand the following docstring
english (even if I guess the meaning):
https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/system.scm#n861
--
Vincent Legoll
> Do you also use some armhf (32-bit) hardware?
I would like. I tried and failed (I tried to build an image for an
orangepi+2e)
I have other non-x86 HW that I would like to have guixsd on.
I don't ask for susbstitutes, I can build them locally if needed and
doable.
--
Vincent Legoll
t;> it, then we should officially deprecate it, and not leave it in this
> >> in-between state.
> >
> > I'm not using it because I can't make it work.
>
> Don't hesitate to report the issues you encountered!
I've done it a few times already, for a
t if nobody is using
> it, then we should officially deprecate it, and not leave it in this
> in-between state.
I'm not using it because I can't make it work.
--
Vincent Legoll
kage nerd-fonts[1] first, since Cascadia appears to be an iteration
> of it.
Yes you're right, I did not look at the submitted scm hard enough to
see it.
Sorry for the noise.
--
Vincent Legoll
On Sun, Jan 10, 2021 at 9:46 AM Vincent Legoll
wrote:
> * I've not checked the difference size (nor that it matters) between zip
> and tar.gz, you may want to use the smallest one to minimize download.
>
I just did, and the tgz wins: 3.1 MB vs 5.7 MB
--
Vincent Legoll
://guix.gnu.org/manual/en/html_node/Formatting-Code.html)
* I've not checked the difference size (nor that it matters) between zip
and tar.gz, you may want to use the smallest one to minimize download.
Thanks
--
Vincent Legoll
tring. That makes it easier to read.
That is better, but the separate file would allow to have proper
syntax highlighting, allow linting/pep8'ing, etc.
Cheers
--
Vincent Legoll
Hello,
I like the idea of better testing for our python packages, but would it be
possible to avoid embedding the python code as scheme strings ?
Like in a separate pure-python file.
WDYT ?
--
Vincent Legoll
(from the inherited package) and then
concatenating the overrides.
I've come with the attached diff, but it's giving me
headaches.
Anyone can give it a look and tell me what is wrong
with my coding ?
PS: I don't know if this would be better posted in guix-help or elsewhere...
Thanks
x,
it would help beginners (like me do less mistakes) and comitters
could have more confidence in a submission if it has gone through
this. Which would in turn enable us to integrate patches quicker.
WDYT ?
--
Vincent Legoll
to do with `git send-email'). Dunno if that is useful in that
case.
I hope not to have stepped on mentor's toes with this inquiry ;-)
Happy contributing !
--
Vincent Legoll
ht commit:
git checkout -b bootstrap-ppc64le 8159ce1970d91567468cf1bacac313099a009d2a
make distclean
./bootstrap
./configure --localstatedir=/var
make -j 16
./pre-inst-env guix build --no-substitutes --target=powerpc64-linux-gnu
bootstrap-tarballs
PS: Yes, it looks like I misnamed my branch, endian-size-wise...
--
Vincent Legoll
to celebrate our come back into the fray, I've grabbed a few low
hanging fruits from the outdated and/or potentially vulnerable list.
Series incoming (on guix-patches, issue #41533)...
--
Vincent Legoll
.scm files recompilations needed ?
What for ?
And as an additionnal question, are the ./pre-inst-envs needed on
all the CLIs above ?
I still have a TODO to put everything I gathered about building the
binary tarballs in the doc.
I also still cannot test on foreign arches, see:
https://lists.gnu.
jy7s0v8rkd33-guix-1.1.0-4.ce97922.drv'
failed
cp: cannot stat '': No such file or directory
mv: cannot stat 'guix-binary.armhf-linux.tar.xz.tmp': No such file or
directory
make: *** [Makefile:6166: guix-binary.armhf-linux.tar.xz] Error 1
-->88<--
How are the official tarballs created ?
What am I doing wrong ?
--
Vincent Legoll
to work on it though, but I'd gladly help anyone
who do.
--
Vincent Legoll
t the same and less interesting.
--
Vincent Legoll
, but the attempts I did on arm32 were not really
promising on that front, which is why I postponed further investigations there.
Hoping to get accustomed with guix porting for ppc64 which don't have those
problems in the mean time)
That was a long one...
Thanks everyone for guix it's a refreshing thing !
--
Vincent Legoll
ot know about this one.
I think keeping a js-free one is good, but the UX from HPC's is better,
so can we have both ?
--
Vincent Legoll
.
I'll restart working / trying things in the foreign archs area after my
list of pending things is drained a bit (guix-install.sh & tarball CI,
native-inputs lint warning chasing) but that's only wishful thinking
for now.
--
Vincent Legoll
ferences (endianness maybe) ?
I don't know if the question really makes sense, though, so please
forgive my ignorance...
--
Vincent Legoll
re speaking of this one though.
But maybe we can revisit enabling it, I'll put that on my todo list, if
you won't beat me to it.
--
Vincent Legoll
Hello,
On Mon, Apr 27, 2020 at 1:59 PM wrote:
> imo the best option would be to page, print or truncate depending on
> an envvar and/or a commandline flag
PAGER="head -20" maybe ?
I'm also of the opinion to respect PAGER. Untruncated ouput if unset.
--
Vincent Legoll
-boot/-/commit/96d0cd460430f18d0f22eead5409ed3dc53b4c4e
--
Vincent Legoll
gt; The autotools patches need review, but they work. The patches to
> cross-build guix need some discussion and worse, cross-compiling guix
> currently uses a terrible kludge; so while also that "works", its still
> under development.
Thanks a lot for your work !
And also for the status update.
--
Vincent Legoll
Hello Matthew,
LGTM, (I think I saw it myself, but forgot about it)
I think you should send your patches to:
guix-patc...@gnu.org
Thanks
--
Vincent Legoll
arches,
without any success, all failing the same way, on perl...
And when it hit me that there is a recurring theme in those failures
I found a few issues and ML posts about the same problem.
So, what's the status of those patches ?
--
Vincent Legoll
e the EFI
partition unless you are using QEMU with a UEFI firmware (default is
BIOS emulation).
Ah, thanks, that is useful info.
But I did an install in another disk image...
I couldn't find that in the manual, would it be useful to add it ?
If yes, where ?
--
Vincent Legoll
1 - 100 of 331 matches
Mail list logo