Re: "guix pack -f docker" does too much work

2024-06-03 Thread Andy Wingo
On Sat 01 Jun 2024 15:58, Ludovic Courtès writes: >> I think it would be great if "guix pack -f docker" could avoid building >> all these identical layers again and again. Perhaps it would be >> possible to have a single derivation for each layer? This way we >> wouldn't have to recreate the sa

Re: Guile CSE elimination of record accessor?

2024-04-30 Thread Andy Wingo
Hi :) On Sat 27 Apr 2024 19:04, Simon Tournier writes: > In Guile module (ice-9 vlist), one reads: > > ;; Asserting that something is a vlist is actually a win if your next > ;; step is to call record accessors, because that causes CSE to > ;; eliminate the type checks in those accessors. > ;; >

Re: using shepherd's (shepherd service repl) in guix system

2024-01-11 Thread Andy Wingo
On Tue 09 Jan 2024 23:36, Ludovic Courtès writes: > scheme@(shepherd-user)> (+ 2 3) > $6 = 5 > scheme@(shepherd-user)> (lookup-service 'repl) > ;;; socket:56:1: warning: possibly unbound variable `lookup-service' > ice-9/boot-9.scm:1685:16: In procedure raise-exception: > Unbound variable: lookup

Re: better error messages through assertions

2022-03-30 Thread Andy Wingo
On Wed 30 Mar 2022 11:37, Ludovic Courtès writes: >> scheme@(guile-user)> (container-contents '()) >> ice-9/boot-9.scm:1685:16: In procedure raise-exception: >> In procedure struct-vtable: Wrong type argument in position 1 > scheme@(guile-user)> ,use(srfi srfi-9) > scheme@(guile-user)> (define-re

Re: [minor patch] Amend CoC

2022-02-23 Thread Andy Wingo
On Tue 22 Feb 2022 18:16, Taylan Kammer writes: > If anyone's annoyed by this thread, please tell, and let us move it off-list. I am annoyed by it I think it should be off-list :) Andy

Re: [bootstrappable] Re: Can Guile be bootstrapped from source without psyntax-pp.scm?

2021-03-16 Thread Andy Wingo
On Mon 15 Mar 2021 20:50, Michael Schierl writes: > Am 15.03.2021 um 18:09 schrieb Ludovic Courtès: >> Woow, this is great news! I think it would be great towards importing >> it in Guile proper. >> >> To do that, I think we should first get Andy’s opinion on the approach. > > I don't think upst

Re: The size of ‘.go’ files

2020-06-24 Thread Andy Wingo
Hi :) On Tue 09 Jun 2020 18:09, Ludovic Courtès writes: > Andy Wingo skribis: > >> The guile.arities section starts with a sorted array of fixed-size >> headers, then is followed by a sequence of ULEB128 references to local >> variable names, including non-argum

Re: The size of ‘.go’ files

2020-06-08 Thread Andy Wingo
Hi :) A few points of information :) On Fri 05 Jun 2020 22:50, Ludovic Courtès writes: > [Sorting] the ELF sections of a .go file by size; for ‘python-xyz.go’, > I get this: > > $13 = ((".rtl-text" . 3417108) > (".guile.arities" . 1358536) > (".data" . 586912) > (".rodata" . 361599) > (".sy

Re: Compilation time with Guile 3.0.3-to-be

2020-06-04 Thread Andy Wingo
Hi :) On Thu 04 Jun 2020 09:50, Ludovic Courtès writes: > With the attached patch I’ve run ‘make as-derivation’ (equivalent to > ‘guix pull’) and timed the builds of guix-packages-base.drv (279 files) > and guix-packages.drv (217 files) on my 4-core i7 laptop: > > • guix-packages-base.drv: 1m3

Re: Medium-term road map

2020-04-27 Thread Andy Wingo
On Sat 25 Apr 2020 15:37, Ludovic Courtès writes: > 2. Performance. There are many things we can improve there, first and > foremost: the “Computing derivation” part of ‘guix pull’, Guile’s > compiler terrible time and space requirements I think I have a solution here, as discussed

Re: Speeding up “guix pull”: splitting modules

2020-01-06 Thread Andy Wingo
Hi, Just a couple notes here regarding the concrete questions. I'm sure there are good solutions but I don't know what they are yet! On Sun 05 Jan 2020 21:37, Ricardo Wurmus writes: > Or could we improve compilation > times by disabling optimizations? I think Guix does this already; see %ligh

Re: bug#38529: Make --ad-hoc the default for guix environment proposed deprecation mechanism

2020-01-02 Thread Andy Wingo
On Fri 20 Dec 2019 22:08, Ricardo Wurmus writes: > zimoun writes: > >> - I propose the name "guix shell" > > This is not a bad idea, especially considering that “guix environment” > was meant to get shebang support, so that you could use it as the > interpreter in a script that handles the envi

Re: Profiles/manifests-related command line interface enhancements

2019-11-12 Thread Andy Wingo
On Sun 10 Nov 2019 10:36, Konrad Hinsen writes: > One direction could be to add a sandboxing feature to Guile, which would > be nice-to-have for other uses as well if Guile is to become a > general-purpose systems scripting language. There are some interesting > ideas in shill (http://shill.seas.

Re: smallerizing bootstrap guile?

2019-11-04 Thread Andy Wingo
On Mon 04 Nov 2019 11:57, Efraim Flashner writes: > Is there a good way to actually compile the .go files and use them to > replace the ones shipped in the guile-static tarball? > Can we do this on purpose and ship just the bin/ output, grab guile > sources and compile it for real? Or can I delet

Re: Preliminary IceCat 68.2 package

2019-10-23 Thread Andy Wingo
Heya Mark :) On Wed 23 Oct 2019 12:32, Mark H Weaver writes: > I wrote: >> * Many earlier attempts to build it have failed due to non-deterministic >> failures in the build system, possibly due to a bug in the Cargo tool. >> I'm not sure how much luck was involved in my successful build. Yo

Re: Joint statement on the GNU Project

2019-10-09 Thread Andy Wingo
On Tue 08 Oct 2019 18:38, Dimakakos Dimos writes: > So to sum up it would be nice to expand a bit on the announcement. My > main questions are: > > 1. How does the GNU project operate, in the light of all the > different projects, and what role and influence had rms as the head > o

Re: Magit is very slow with Guix's Git checkout

2019-06-18 Thread Andy Wingo
On Tue 18 Jun 2019 06:04, Chris Marusich writes: > I've been learning to use Magit more and more, and I really enjoy it. > However, I've noticed that it takes a very long time (minutes) to give > control back to me when I run "M-x magit-status" in my Guix checkout. > > Am I doing something wrong?

Re: [PATCH][WIP] Elogind update

2018-11-12 Thread Andy Wingo
On Sat 10 Nov 2018 17:00, Stefan Stefanović writes: > But the problem is with the stale PID found after a forced/abrupt reboot. > As far as I know other distributions do not have to deal with this problem, > because they mount tmpfs to /run and /var/run. > We (Guix) need to find the 2nd part of t

Re: FSDG status of chromium

2018-09-26 Thread Andy Wingo
On Tue 25 Sep 2018 21:36, Clément Lassieur writes: > Thank you very much for letting us know about these issues! I'm glad > Marius put it in a channel then, it was a wise decision. I hope we'll > make it free at some point, so that it can be integrated into Guix. But > there is Icecat 60 now (

Re: FOSDEM 2019

2018-08-22 Thread Andy Wingo
On Tue 21 Aug 2018 19:57, Ricardo Wurmus writes: > If we base our application on this proposal I think we should make these > changes: > > - mention the work on adding JIT Yes definitely! This will be Guile 3, so we can call it "Just-in-time code generation for Scheme: Speed for free in Guile 3

Re: IRC freenode issue

2018-08-02 Thread Andy Wingo
Hi, On Thu 02 Aug 2018 15:04, Clément Lassieur writes: > There seems to be an issue with #guix: I can't join anymore. The error > is: > > Cannot join channel (+i) - you must be invited > > I think it also happens to other people (ng0, marusich). This is a configuration error I think. There

Re: PYTHONPATH woes

2018-02-20 Thread Andy Wingo
On Tue 20 Feb 2018 16:01, Pjotr Prins writes: > On Tue, Feb 20, 2018 at 11:53:54AM +0100, Ricardo Wurmus wrote: >> Would it be good to make the wrappers for Python scripts stricter and >> not accept any user-set PYTHONPATH? > > I think that is a bad idea. You need to be able to opt out. Why? I

Re: Improving Shepherd

2018-02-15 Thread Andy Wingo
On Wed 14 Feb 2018 14:10, l...@gnu.org (Ludovic Courtès) writes: > Christopher Lemmer Webber skribis: > >> Ludovic Courtès writes: >> >>> Hopefully it’s nothing serious: Fibers doesn’t rely on anything >>> architecture-specific. >> >> I think it relies on epoll currently? But I think there shoul

idea: "guix cargo", "guix npm" etc

2018-02-02 Thread Andy Wingo
A little idea inspired by Eelco's talk at the Guix miniconference. The "problem" is that users are often more used to their language-specific package manager than Guix. They find "cargo install foo" to be convenient. However this rarely results in a reproducible build in the sense of Guix or Nix

Re: [Geiser-users] geiser-xref-callers does not seem to work

2018-01-30 Thread Andy Wingo
On Mon 29 Jan 2018 18:52, "Jose A. Ortega Ruiz" writes: > i've figured out how to find the filename for a procedure, but i'm > missing what is probably the easier part: give the latter, how do i get > hold of the module object? On the one side there's no 100% reliable way. E.g. some files don't

Re: Cuirass news

2018-01-29 Thread Andy Wingo
On Sun 28 Jan 2018 22:47, l...@gnu.org (Ludovic Courtès) writes: > interned symbols are potentially not GC’d (though I think with Guile > 2.2 and its weak sets they may be subject to GC.) Symbols are collectable. They are collectable in 2.0 as well. Depending on the context, it may be worth con

Re: [Geiser-users] geiser-xref-callers does not seem to work

2018-01-29 Thread Andy Wingo
Hi! Great to hear from you jao :) On Sat 27 Jan 2018 17:41, "Jose A. Ortega Ruiz" writes: > hmmm, i was investigating this. the cause geiser fails is that, in the > process of looking for other things, it's not able to find > `program-arities', exported by (system vm program). i am not sure w

Re: question regarding substitute* and #t

2018-01-24 Thread Andy Wingo
On Thu 25 Jan 2018 06:31, Maxim Cournoyer writes: > Where does this `invoke' comes from? Geiser is unhelpful at finding it, > and it doesn't seem to be documented in the Guile Reference? https://lists.gnu.org/archive/html/guix-devel/2018-01/msg00163.html

Re: question regarding substitute* and #t

2018-01-24 Thread Andy Wingo
On Wed 24 Jan 2018 15:45, Hartmut Goebel writes: > Am 24.01.2018 um 13:14 schrieb Andy Wingo: >> On Wed 24 Jan 2018 13:06, Mark H Weaver writes: >> >>> + ;; Install to the right directory >>> + (substitute* '("Makefile"

Re: question regarding substitute* and #t

2018-01-24 Thread Andy Wingo
On Wed 24 Jan 2018 14:28, Mark H Weaver writes: > Andy Wingo writes: > >> On Wed 24 Jan 2018 13:06, Mark H Weaver writes: >> >>> + ;; Install to the right directory >>> + (substitute* '("Makefile&qu

question regarding substitute* and #t (was: Simplifications enabled by switching to 'invoke')

2018-01-24 Thread Andy Wingo
Hi! On Wed 24 Jan 2018 13:06, Mark H Weaver writes: > + ;; Install to the right directory > + (substitute* '("Makefile" > +"Qsci/Makefile") > + (("\\$\\(INSTALL_ROOT\\)/gnu/store/[^/]+") > +(assoc-ref outputs "out"

Re: What do Meltdown and Spectre mean for libreboot x200 user?

2018-01-15 Thread Andy Wingo
Greets, On Mon 15 Jan 2018 12:32, Leah Rowe writes: > The implications [of Meltdown/Spectre] at firmware level are > non-existent (for instance, these attacks can't, to my knowledge, be > used to actually run/modify malicious code, just read memory, so it's > not as if some evil site could insta

Re: Making evaluations faster

2017-12-19 Thread Andy Wingo
On Tue 19 Dec 2017 10:05, l...@gnu.org (Ludovic Courtès) writes: > I’ve been looking for ways to make evaluations (computing the derivation > of every package for every supported architecture, like Hydra and > Cuirass do) faster. > > I measured evaluations with: > > rm -rf /tmp/cache hydra-jobs.

Re: Why should build phases not return unspecified values?

2017-12-18 Thread Andy Wingo
On Sun 17 Dec 2017 00:28, Arun Isaac writes: > Whenever we have a build phase that ends with a call (for example, to > substitute, chdir, symlink, etc) that returns an unspecified value, we > append a #t so that the return value is a boolean. However, the build > system, as it stands currently, d

Re: geiser-xref-callers does not seem to work

2017-12-18 Thread Andy Wingo
On Sat 16 Dec 2017 08:55, Chris Marusich writes: > * Place point on symbol expression->derivation-in-linux-vm on line 203 > (in the definition of the iso9660-image procedure), and press "C-c <". > > When I do this, I receive the following message in the minibuffer: > > No callers found for ’e

Re: How to customize the kernel

2017-12-18 Thread Andy Wingo
On Sat 16 Dec 2017 03:37, Chris Marusich writes: > Is anyone building custom kernels? How are you doing it? Are you just > using the "make-linux-libre" procedure anyway, despite the fact that it > supposedly isn't public? Did you copy it and just modify it to suit > your needs? Or did you do

Re: MIME database

2017-11-28 Thread Andy Wingo
On Tue 28 Nov 2017 12:23, Alex Vong writes: > julien lepiller writes: > >> Le 2017-11-28 10:24, l...@gnu.org a écrit : >>> brendan.tildes...@openmailbox.org skribis: >>> >>> Right, so I think the immediate course of action here would be to patch >>> GIMP’s MIME data so that it does not register

Re: MIME database

2017-11-28 Thread Andy Wingo
On Tue 28 Nov 2017 10:24, l...@gnu.org (Ludovic Courtès) writes: > Hello, > > (Moving the discussions to guix-devel.) > > brendan.tildes...@openmailbox.org skribis: > >> I was wondering why my pdf documents were getting opened in Gimp by >> default instead of Evince, so I investigated xdg-open and

Re: [PATCH] scripts: hash: Add --git option. WIP

2017-11-28 Thread Andy Wingo
On Thu 23 Nov 2017 04:54, Jan Nieuwenhuizen writes: > Hi! > > Attached is a patch to get the hash of a git archive without having to > clean the tree or do a clean checkout. > > Using > > guix hash -gr . > > procudes the same hash as doing something like > > git clone . tmp && guix hash -

ATI radeon + modesetting

2017-11-09 Thread Andy Wingo
Hi, I just upgraded my desktop machine for the first time in about 3 months. It has this graphics card from about 5 years ago: 01:00.0 VGA compatible controller: Advanced Micro Devices, Inc. [AMD/ATI] Turks PRO [Radeon HD 7570] After the upgrade, I was experiencing horrible tearing and corr

Re: GDM status (again)

2017-10-31 Thread Andy Wingo
Hi! On Sun 29 Oct 2017 16:30, l...@gnu.org (Ludovic Courtès) writes: > Timothy Sample skribis: > >> Two months ago, Andy Wingo did a bunch of work on getting GDM working as >> a display manager for Guix [1]. Unfortunately, Andy had to step away >> from the task before ge

Re: gnu/services/shepherd.scm:90:2: In procedure allocate-struct: Wrong type argument in position 2: 5

2017-09-29 Thread Andy Wingo
On Fri 29 Sep 2017 13:21, "Huang, Ying" writes: > I use the guix git. After not upgrade the code for quite some time > (several months?), today after `git pull`, `guix environment guix` > report the following error. How to deal with it? Remove .go files from your git checkout. A change in Sch

Re: does a shebang-patched shebang of autotools leak into my 'make dist'?

2017-09-21 Thread Andy Wingo
On Thu 21 Sep 2017 09:05, ng0 writes: > If you do: > git clone https://git.taler.net/gnurl.git > cd gnurl > guix environment gnurl -- ./buildconf > sed 's/\/usr\/bin\/file/\/usr\/bin\/env file/' configure > guix environment gnurl -- ./configure --enable-ipv6 --with-gnutls > --without-libssh2 --wi

Re: guix system init: failed to get path of `/boot/efi'

2017-09-18 Thread Andy Wingo
On Mon 18 Sep 2017 10:04, Hartmut Goebel writes: > Hi, > > For installing a GuixSD in e fresh system I followed the installation > instructions in the manual. As described in the manual, I did set > >   (bootloader (bootloader-configuration >     (bootloader grub-efi-bootloader) >    

Re: Question about multiple licenses

2017-09-11 Thread Andy Wingo
On Mon 11 Sep 2017 13:29, Alex Vong writes: >>> Well, from what I know about copyright, that isn't the licence of glibc, >>> which is the sum of all the licences involved, and you'd have to know >>> how to find them if you didn't just unpack the tarball. With pack >>> output in a lot of cases yo

Re: NetworkManager instead of Wicd in ‘%desktop-services’?

2017-08-29 Thread Andy Wingo
On Mon 31 Jul 2017 03:35, Kei Kebreau writes: > l...@gnu.org (Ludovic Courtès) writes: > >> Hello Guix! >> >> Shouldn’t we replace Wicd with NetworkManager in ‘%desktop-services’? >> >> I’ve given it a try on a GuixSD GNOME installation and it appears to >> work well, and it’s obviously well-inte

Re: ‘core-updates’ is back!

2017-08-29 Thread Andy Wingo
On Tue 29 Aug 2017 00:01, l...@gnu.org (Ludovic Courtès) writes: > Yup, I just created a new ‘core-updates’ branch by pushing > . Enjoy! > > Let’s freeze in one month, say Oct. 1st? It would be pretty cool if we could fix our O(n^2) problems in search paths in this co

Re: GSoC final update

2017-08-29 Thread Andy Wingo
On Tue 29 Aug 2017 09:44, Caleb Ristvedt writes: > I found myself checking the guile reference quite > frequently. One time I happened upon a part describing the ECMAScript > implementation (curiosity and all that), and noticed that several times > it was mentioned how irresponsible the implemen

GDM status

2017-08-29 Thread Andy Wingo
Hi! I gave a poke to getting the GNOME Display Manager (GDM) to work. The idea would be to replace SLiM, at least for GNOME workstations. My goal is to get native GNOME screen locking to work. I would also like to get Wayland to work at some point as well. The upstream state of GDM right now i

Re: GRUB EFI installation breakage

2017-08-23 Thread Andy Wingo
On Wed 23 Aug 2017 00:25, l...@gnu.org (Ludovic Courtès) writes: > Marius Bakke skribis: > >> Ludovic Courtès writes: >> >>> Hello, >>> >>> To reconfigure my system on UEFI, I had to apply this patch: >>> >>> modified gnu/bootloader/grub.scm >>> @@ -401,7 +401,8 @@ submenu \"GNU system, old co

Re: Docker export: add /etc/environment?

2017-08-21 Thread Andy Wingo
On Mon 21 Aug 2017 12:02, Ricardo Wurmus writes: > Especially for “guix pack -f docker” it makes sense to me to include a > default “/etc/environment” that includes things we set up in GuixSD by > default, such as GUIX_LOCPATH, and that sources the packed profile’s > “etc/profile”. > > What do yo

Re: MATE applications only fit for a running MATE Environment?

2017-08-15 Thread Andy Wingo
On Mon 14 Aug 2017 22:12, ng0 writes: > user@abyayala ~$ mate-terminal > > (mate-terminal:841): GLib-GIO-ERROR **: Settings schema 'org.mate.interface' > is not installed I believe you need to use glib-or-gtk-build-system instead of gnu-build-system. That will make sure that binaries built by

Re: Grafting fails for latest Go release candidate

2017-08-09 Thread Andy Wingo
On Mon 07 Aug 2017 22:08, Marius Bakke writes: > I've caught a couple other elusive grafting errors: > > grafting '/gnu/store/ccw7wzh9rbflc0fl968dbj2x0x9dn4y5-chromium-60.0.3112.90' > -> '/gnu/store/b3f2d6l1c546xwcv4hg8619qh87cixhb-chromium-60.0.3112.90'... > ERROR: Wrong type to apply: "der */\

Re: compiling guix is too slow?

2017-07-03 Thread Andy Wingo
On Sat 01 Jul 2017 15:33, l...@gnu.org (Ludovic Courtès) writes: > Leo Famulari skribis: > >> My understanding is that Guile 2.2 traded slower compilation for faster >> execution of compiled programs. Hopefully the performance of the >> compiler will be improved in later updates to Guile. > > Yes

Re: Xorg tearing fix on Intel HD Graphics 4000

2017-06-28 Thread Andy Wingo
On Tue 27 Jun 2017 19:43, Mark H Weaver writes: > Andy Wingo writes: > >> On Wed 21 Jun 2017 09:55, Roel Janssen writes: >> >>> For a long time now, I have a tearing issue on GuixSD (parts of the >>> screen do not get updated while others do, resulti

Re: RPC performance

2017-06-26 Thread Andy Wingo
On Mon 26 Jun 2017 13:54, ludovic.cour...@inria.fr (Ludovic Courtès) writes: > Andy Wingo skribis: > >> Hi! >> >> On Fri 23 Jun 2017 11:24, ludovic.cour...@inria.fr (Ludovic Courtès) writes: >> >>> With the current protocol, often we’re just reading a han

Re: Xorg tearing fix on Intel HD Graphics 4000

2017-06-26 Thread Andy Wingo
On Wed 21 Jun 2017 09:55, Roel Janssen writes: > For a long time now, I have a tearing issue on GuixSD (parts of the > screen do not get updated while others do, resulting in dissapearing > text in Emacs). Thank you for this work! I notice this since a month ago and haven't had time to delve in

Re: RPC performance

2017-06-23 Thread Andy Wingo
Hi! On Fri 23 Jun 2017 11:24, ludovic.cour...@inria.fr (Ludovic Courtès) writes: > With the current protocol, often we’re just reading a handful of bytes. > Full buffering would mean that Guile would block on an 8K read or so > that will never be fulfilled. That's not how it works :) The "read"

Re: RPC performance

2017-06-23 Thread Andy Wingo
On Thu 22 Jun 2017 18:05, ludovic.cour...@inria.fr (Ludovic Courtès) writes: > Andy Wingo skribis: > >> Why not just set to _IOFBF and let Guile 2.2's buffering handle it? > > Because we want controlled buffering when writing (we need to flush > pending output when

Re: RPC performance

2017-06-22 Thread Andy Wingo
On Mon 19 Jun 2017 10:15, ludovic.cour...@inria.fr (Ludovic Courtès) writes: > +(define (buffering-output-port port buffer) > + ;; Note: In Guile 2.2.2, custom binary output ports already have their own > + ;; 4K internal buffer. > + (define size > +(bytevector-length buffer)) > + > + (def

Re: (guix git) and guile-git finalizers.

2017-06-22 Thread Andy Wingo
Hi :) Just some code review. On Mon 19 Jun 2017 18:01, Mathieu Othacehe writes: > The idea here is to create a guardian per pointer-type to finalize. A > pumper function that operates on this guardian is also created. This > pumper function knows the git_libgit2_xxx function to call to free the

Re: (guix git) and guile-git finalizers.

2017-06-13 Thread Andy Wingo
On Mon 12 Jun 2017 14:44, Mathieu Othacehe writes: > Maybe the right answer is to disable auto finalization and call > run-finalizers as described here : > > https://www.gnu.org/software/guile/manual/html_node/Foreign-Object-Memory-Management.html#Foreign-Object-Memory-Management > > However I ca

Re: shepherd -> guile 2.2?

2017-05-16 Thread Andy Wingo
On Tue 16 May 2017 10:42, Ricardo Wurmus writes: > ;;; WARNING: compilation of > /gnu/store/5zx29y44nrqj0s8h3jlvlj82k8hj4dxs-guile-2.2.2/bin/guild failed: > ;;; ERROR: failed to create path for auto-compiled file > "/gnu/store/5zx29y44nrqj0s8h3jlvlj82k8hj4dxs-guile-2.2.2/bin/guild" This is bec

Re: Guix publish pipe error from #{read pipe}#

2017-05-15 Thread Andy Wingo
On Tue 16 May 2017 08:29, Pjotr Prins writes: > On a recent guix-publish server I get many of these > > gzip: stdin: invalid compressed data--format violated > r-annotationdbi-1.36.0 > 1.7MiB/s 00:02 | 3.0MiB transferredguix substitute: error: corrupt > input while restoring > >

Re: guix pull timing out on low resource servers

2017-05-15 Thread Andy Wingo
On Mon 15 May 2017 12:12, ng0 writes: > Since the switch to Guile 2.2 and guix pull taking much more > computing time and resources, all my virtual hosting servers > time out when I run guix pull on them without using mosh > and just openssh, because the process just takes much too > long. > > I

Re: cross-compiling in core-updates

2017-05-02 Thread Andy Wingo
On Tue 02 May 2017 21:03, Sergei Trofimovich writes: > Yay! The following patch makes bash-minimal compile fine! > > diff --git a/gnu/packages/bash.scm b/gnu/packages/bash.scm > index ef22728a9..38aa1786e 100644 > --- a/gnu/packages/bash.scm > +++ b/gnu/packages/bash.scm > @@ -213,7 +213,7 @@ wit

Re: certbot service experience

2017-05-02 Thread Andy Wingo
On Sat 29 Apr 2017 23:33, Christopher Allan Webber writes: > I'm crossposting this to guix-devel, even though it's in reply to > guix-patches bug #26685 adding the cerbot service, because I think it's > more about my experiences with workflow and less about what might affect > that specific bug.

Re: cross-compiling in core-updates

2017-05-02 Thread Andy Wingo
On Fri 28 Apr 2017 21:04, Manolis Ragkousis writes: > The reason for the cascading errors is bash-minimal. > > Trying to build `./pre-inst-env guix build bash-minimal' > on core-updates ends up with : > > The following derivation will be built: >/gnu/store/1r0fpfcik796g2b5v9ns163sgan1rkmz-bas

Re: potluck status

2017-05-01 Thread Andy Wingo
Greets, Just a quick yes-and note: On Tue 02 May 2017 04:26, Katherine Cox-Buday writes: > Andy Wingo writes: >> & as for dev/testing/prod/etc -- I have no idea :) I'm not really an >> ops person, so I can only speculate, and anyone can do that as well as I >

Re: potluck status

2017-04-28 Thread Andy Wingo
Hi :) On Fri 28 Apr 2017 15:41, Katherine Cox-Buday writes: > Andy Wingo writes: > >> With that I think I'd like to move to a "use" phase where I just sit >> back and see how people use the thing :) WDYT? > > I am very excited about this functionality

Re: potluck status

2017-04-28 Thread Andy Wingo
On Fri 28 Apr 2017 14:42, Hartmut Goebel writes: > Am 28.04.2017 um 14:05 schrieb Andy Wingo: >> 5.15 Invoking ‘guix potluck’ > > Please think about an other name for this command. "potlouk" may be > common to native speakers but I never heard this word. Thanks.

potluck status

2017-04-28 Thread Andy Wingo
Hi! To recall, "guix potluck" is a packaging facility that is a decoupled from mainline Guix development. The latest patches are in wip-potluck, and a recent copy of the patches is here: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=26645 Here is part of the documentation in that branch: 5

Re: Guile 2.2 .go files are larger

2017-04-24 Thread Andy Wingo
On Mon 24 Apr 2017 10:24, Andy Wingo writes: > On Sat 22 Apr 2017 15:19, l...@gnu.org (Ludovic Courtès) writes: > >> The closure of Guix built with 2.0 is 193.8 MiB; when built with 2.2, >> it’s 311.8 MiB. Guix itself goes from 66 to 150 MiB: >> &g

Re: XPATH queries and manipulation in guile?

2017-04-24 Thread Andy Wingo
On Sun 23 Apr 2017 19:10, Hartmut Goebel writes: > Yes, I've seen SXPath [4], but IMHO this usign this would *not* be a > good choice: It would require packages to learn yet another path > language, while when using XPath, the packagers could simply copy > expressions from some fedora .spec-file.

Re: Guile 2.2 .go files are larger

2017-04-24 Thread Andy Wingo
On Sat 22 Apr 2017 15:19, l...@gnu.org (Ludovic Courtès) writes: > The closure of Guix built with 2.0 is 193.8 MiB; when built with 2.2, > it’s 311.8 MiB. Guix itself goes from 66 to 150 MiB: > > $ du -ms > /gnu/store/jh07pwbyf5dbpdd5q0nvgagqkgmh76nh-guix-0.12.0-9.25a4/lib/guile/2.2 > 101 > /

Re: Ready for Guile 2.2!

2017-04-20 Thread Andy Wingo
On Thu 20 Apr 2017 14:35, l...@gnu.org (Ludovic Courtès) writes: > l...@gnu.org (Ludovic Courtès) skribis: > >> ;; 2.724686s real time, 3.117062s run time. 0.880827s spent in GC. >> scheme@(guile-user)> (version) >> $1 = "2.0.13" >> > scheme@(guile-user)> ,use(guix scripts build) > scheme@(guile-

Re: Extending the mysql configuration

2017-04-20 Thread Andy Wingo
On Wed 19 Apr 2017 19:45, Christopher Baines writes: > I also spotted the define-configuration syntax, which looks like it > might work well, but I wanted to check if this was definitely a > direction more services were heading before attempting to write out a > large part of the supported config

Re: potluck in the house

2017-04-17 Thread Andy Wingo
On Fri 14 Apr 2017 14:54, l...@gnu.org (Ludovic Courtès) writes: >> I think we should make it so that the lower-potluck-package process >> prefers "core" packages if available, and only goes to the channel if >> the core does not provide a package matching the specification. >> >> I think this is

Re: potluck in the house

2017-04-13 Thread Andy Wingo
Hi :) On Thu 13 Apr 2017 17:42, l...@gnu.org (Ludovic Courtès) writes: > Turns out Guile-Present is already in Guix proper, but Guile-JPEG isn’t! > :-) Oh neat :) >> (The wip-potluck branch extends guix build -f to recognize potluck >> packages.) > > Oh I see, I was wondering why that was worki

Re: how to "install" guixsd on a digitalocean server

2017-04-13 Thread Andy Wingo
On Thu 13 Apr 2017 17:28, ng0 writes: > Andy Wingo transcribed 6.6K bytes: >> I just "installed" GuixSD on a DigitalOcean droplet. You can't actually >> install GuixSD; you have to mutate an existing installation into >> GuixSD. But fine. > > Could

potluck in the house

2017-04-13 Thread Andy Wingo
s.' Once you push them out, add your dish to the communal potluck by running: guix potluck update https://gitlab.com/wingo/guile-present master OK that's interesting! What I get in the file looks like this: ;;; guix potluck package ;;; Copyright (C) 2017 Andy Wingo ;;;

Re: how to "install" guixsd on a digitalocean server

2017-04-07 Thread Andy Wingo
Hi :) On Fri 07 Apr 2017 16:04, myglc2 writes: > On 04/07/2017 at 14:07 Andy Wingo writes: > >> I just "installed" GuixSD on a DigitalOcean droplet. You can't actually >> install GuixSD; you have to mutate an existing installation into >> GuixSD. But

how to "install" guixsd on a digitalocean server

2017-04-07 Thread Andy Wingo
Hi, I just "installed" GuixSD on a DigitalOcean droplet. You can't actually install GuixSD; you have to mutate an existing installation into GuixSD. But fine. So I installed the latest Debian x86_64 image that they offer. All fine and easy. You tell DigitalOcean your SSH key, then you can SSH

Re: [PATCH] guix hash: -g hashes a git repository

2017-04-04 Thread Andy Wingo
On Tue 04 Apr 2017 14:21, l...@gnu.org (Ludovic Courtès) writes: >> +For example: >> +@example >> +$ git clone http://example.org/foo.git >> +$ guix hash -g foo >> +@end example > > In this case -g is equivalent to -rx. My main use case is when I am in a git checkout that has build products or ot

[PATCH] guix hash: -g hashes a git repository

2017-04-03 Thread Andy Wingo
* guix/scripts/hash.scm (show-help, %options): Add -g option. (guix-hash): Support hashing of Git URLs. * doc/guix.texi (Invoking guix hash): Document guix hash --git. --- doc/guix.texi | 18 ++ guix/scripts/hash.scm | 37 + 2 files chang

Re: "guix potluck", a moveable feast

2017-04-02 Thread Andy Wingo
Hi :) Thanks all for review; comments and suggestions very welcome. Choosing this message to reply to. On Sun 02 Apr 2017 01:05, l...@gnu.org (Ludovic Courtès) writes: > Andy Wingo skribis: > >> (1) Install Guix as a user. (This needs to be easier.) >> (2) guix channel

"guix potluck", a moveable feast

2017-03-31 Thread Andy Wingo
Hi! Following on thoughts from earlier this month that Guix is the guildhall that we always wanted, I think I have more of a plan. s/guildhall/potluck/ Firstly, a name change: the guidhall was a somewhat unified, curated thing that was Guile-specific, whereas I think I thin

Re: Introducing ‘guix pack’

2017-03-21 Thread Andy Wingo
On Mon 20 Mar 2017 15:14, l...@gnu.org (Ludovic Courtès) writes: > Federico Beffa skribis: > >> If you provide an archive such as >> 'guile-2.2.0-pack-x86_64-linux-gnu.tar.lz' reachable from the main >> project page (especially without any warning about its intended >> purpose), I bet that many p

Re: guix is the guildhall that we always wanted!

2017-03-17 Thread Andy Wingo
On Fri 17 Mar 2017 14:54, Christopher Allan Webber writes: > Andy Wingo writes: > >> On Thu 16 Mar 2017 23:01, Mark H Weaver writes: >> >>> If [Guix] starts encouraging a decentralized approach, that would >>> result in strong pressure on us to freeze o

Re: guix is the guildhall that we always wanted!

2017-03-17 Thread Andy Wingo
On Fri 17 Mar 2017 12:30, l...@gnu.org (Ludovic Courtès) writes: >> So! My proposal for this new "guildhall" would be: >> >> 1. a web service >> >> 2. on which users registers projects >> >> 3. a project is a name + a git repository with a /package.scm file >> >> 4. the package.sc

Re: grammar usage

2017-03-17 Thread Andy Wingo
Hi, I agree that we need to drop this subject. This will be my last mail in this thread as well. On Fri 17 Mar 2017 12:12, John Darrington writes: > Sometime ago, due to a misunderstanding I received a series of emails > addressing me as Frau Darrington. I did not feel offended or insulted >

Re: grammar usage

2017-03-17 Thread Andy Wingo
Hello John, Misgendering a guix contributor is rude. On the grand scale of things it is worse than what you perceive to be misuse of language. Continuing to advocate for your idea on what good English is is unwelcome behavior, especially when this advocacy ignores the issue of misgendering. And

Re: guix is the guildhall that we always wanted!

2017-03-17 Thread Andy Wingo
On Fri 17 Mar 2017 10:01, Florian Paul Schmidt writes: > On 03/16/2017 11:24 PM, Ludovic Courtès wrote: >> I think having repos maintained elsewhere is OKish, but it’s true that >> it requires people who maintain those repos to follow closely what’s >> going on in Guix proper because we’re not gu

Re: guix is the guildhall that we always wanted!

2017-03-17 Thread Andy Wingo
On Thu 16 Mar 2017 23:01, Mark H Weaver writes: > If [Guix] starts encouraging a decentralized approach, that would > result in strong pressure on us to freeze our API, which includes even > such details as which module each package is exported from. This > would drastically reduce the freedom G

Re: guix is the guildhall that we always wanted!

2017-03-17 Thread Andy Wingo
On Thu 16 Mar 2017 20:26, Amirouche Boubekki writes: >> So! My proposal for this new "guildhall" would be: >> >> 1. a web service >> > > What would be the cli interface associated with that web service? > Some thing like the following will do: > > $ guildhall register So I think we could

guix is the guildhall that we always wanted!

2017-03-16 Thread Andy Wingo
Hi all! I've always wondered about the right solution for getting Guile users to share code with each other. At one point I thought that we would have a Guile-specific packaging system like CPAN or NPM, but one with GNU stow-like characteristics. We had problems with C extensions though: how do

Re: delete profile

2017-03-15 Thread Andy Wingo
On Tue 14 Mar 2017 17:43, Federico Beffa writes: > Alex Kost writes: > >> Federico Beffa (2017-03-14 09:42 +0100) wrote: >> >>> I run 'guix gc' and now I find dangling symlinks in my $HOME. >> >> What dangling symlinks? Just remove them :-) > > Of this type: > > $HOME/guix-test-profile-XXX-link

Re: Introducing ‘guix pack’

2017-03-14 Thread Andy Wingo
Hey :) On Tue 14 Mar 2017 14:42, l...@gnu.org (Ludovic Courtès) writes: > If we remove /var/guix/profiles, users will have to actually type > /gnu/store/asasdfadfgsadfa-profile/bin/guile. This is not great, but I > don’t know what else could be done. We could profile a > /bin/guile → /gnu/store

Re: [GSoC] Development of Cuirass.

2017-03-13 Thread Andy Wingo
On Sun 12 Mar 2017 15:49, Mathieu Lirzin writes: > Here is my proposal for the Google Summer of Code 2017. Looks great to me. FWIW I think you may want to use Fibers in Cuirass. Sometimes a web API request might need to "fork" off a number of tasks, and Fibers lets you do that pretty easily, an

Re: Introducing ‘guix pack’

2017-03-13 Thread Andy Wingo
On Fri 10 Mar 2017 22:50, l...@gnu.org (Ludovic Courtès) writes: > I had it on my to-do list and Andy said he’d like to have something like > that to publish Guile 2.2 binaries: the ‘guix pack’ command below is a > generalization of the code that builds the Guix binary tarball¹. It > creates a bu

  1   2   3   4   >