Re: Question on the process of packge withdrawal

2023-03-01 Thread Bengt Richter
, that sounds like more fun. VRML? Well, that's a big fantasy about "discovery" :) Hm, how to get that running as native RISC-V code on open silicon? ;-) > Cheers, > simon -- Regards, Bengt Richter

Re: Dissecting Guix -- blog post series

2022-12-12 Thread Bengt Richter
st info being relevant to derivations :) -- Regards, Bengt Richter

Re: How long does it take to run the full rustc bootstrap chain?

2022-10-31 Thread Bengt Richter
hose SATA channels during what you timed? That would give an idea of what faster phusical disk memory access would do for you. If many people are waiting longer that they like, maybe they would chip in to fund an upgrade, to feed that 12(24)-core "beast" :-) I'd bet it is waiting a lot, if not more than computing :) -- Regards, Bengt Richter

Re: Building, packaging and updating Guix with confidence

2022-07-25 Thread Bengt Richter
Hi Josselin, tl;dr: I naively don't buy the rationale against a non-root guix daemon :) Skip to [2] if tl ;) On +2022-07-21 18:10:53 +0200, Josselin Poiret wrote: > Hello, > > b...@bokr.com writes: > > Naively: > > > > Why does "the" guix daemon per se need root access at all? > > The main

Re: repl macro (metacommand?) for guix CLI (sub)commands

2022-07-16 Thread Bengt Richter
│ └──┘ --8<---cut here---end--->8--- WDYT? I need to go back to square 1 default .bash_login and .bashrc to debug this I guess :-( (so .profile and my mods down the .profile sequence will be ignored). Gaah :-/ -- Regards, Bengt Richter

Re: “Building a Secure Software Supply Chain with GNU Guix”

2022-07-04 Thread Bengt Richter
Hi zimoun, On +2022-07-04 10:21:13 +0200, zimoun wrote: > Hi, > > On Sun, 03 Jul 2022 at 12:38, Bengt Richter wrote: > >> I do not think committers are pushing code about #1, #2 or #3 that they > >> know beforehand it will cause a problem. > > > >

Re: “Building a Secure Software Supply Chain with GNU Guix”

2022-07-03 Thread Bengt Richter
//yhetil.org/guix/87r13aifi3.fsf...@gnu.org> > > > Cheers, > simon I am not forgetting that I should be thankful for anything I am provided freely. So thank you all! -- Regards, Bengt Richter

Re: Missing tags in Debbugs?

2022-06-29 Thread Bengt Richter
s looks interesting too, that I just found: 2: <https://debbugs.gnu.org/server-request.html#introduction> Will have to try it. Maybe emacs already has a mode for that? (I need to refresh my emacs-fu ;/ ) > > > Cheers, > simon -- Regards, Bengt Richter

Re: New review checklist

2022-04-02 Thread Bengt Richter
ent for 'commit' here?  How does putting > > the value of 'commit' in a let-form reduce surprises? > The main goal of let-binding commit and revision is to allow for easier > change. Suppose you need to reference some half-release for some > obscure reason, then this style makes it easier to switch to what is > already established praxis. > > In general, consider the poor soul who may have to read and maintain > your code after you get hit by a car because neither busses nor trams > run in your region. > -- Regards, Bengt Richter

Re: Assisting reviewing & committing with tags?

2022-03-21 Thread Bengt Richter
tl;dr: Sleep deprivation ;-/ SFTN On +2022-02-15 17:23:23 +0100, Maxime Devos wrote: > Bengt Richter schreef op di 15-02-2022 om 13:23 [+0100]: > > Hi guix, > > > > It sounds like a good idea, but ISTM we don't need yet another markup syntax > > if emacs org mo

Re: Excessively energy-consuming software considered malware?

2022-02-25 Thread Bengt Richter
On +2022-02-25 14:04:34 +0100, Tobias Geerinckx-Rice wrote: > On 2022-02-25 13:41, Bengt Richter wrote: > > And maybe also a mailing list called "guix-grownups" -- > > where casual adult language is accepted without triggering > > endless complaints. > > This

Re: Excessively energy-consuming software considered malware?

2022-02-25 Thread Bengt Richter
spice concerns. (I have nothing againt special venues catering to sensitive minorities, don't get me wrong. What do I mean "minorities" eh? :) Wonder what George Carlin (R.I.P) would say about all this :) -- Regards, Bengt Richter

Re: Investigating a reproducibility failure

2022-02-15 Thread Bengt Richter
tation could be a start on some kind of abstract model validation test? It's simple, but it pulls on a lot of simulation tool chains. WDYT? > Thanks, > Ludo’. > -- Regards, Bengt Richter

Re: Assisting reviewing & committing with tags?

2022-02-15 Thread Bengt Richter
d. > >> > >> There could also be a tag 'reviewed-looks-good2' if the patch appears ok > >> to two reviewers, or a 'reviewed-needs-work', etc. > > > > This is a great idea. I guess we will need to adjust the software that > > runs issues.guix.gnu.org to make use of it, but in the meantime you > > should keep using this tag. Thanks! > > I like it as well. > > Maxim > -- Regards, Bengt Richter

Re: The way to promote GUIX package manager

2022-01-28 Thread Bengt Richter
if two (for raid or cloning) of them have convenience slots to hold them as cartridges. Dreaming on ... -- Regards, Bengt Richter

Re: The way to promote GUIX package manager

2022-01-27 Thread Bengt Richter
above ways > > Guix can comfortably be used outside of Guix System. And you can > *still* use most “guix system” commands, e.g. to build containers or > virtual machines. > > -- > Ricardo > -- Regards, Bengt Richter

Re: On raw strings in commit field

2022-01-01 Thread Bengt Richter
t;8--- “When I use a word,” Humpty Dumpty said in rather a scornful tone, “it means just what I choose it to mean — neither more nor less.” “The question is,” said Alice, “whether you can make words mean so many different things.” “The question is,” said Humpty Dumpty, “which is to be master – – that’s all.” --8<---cut here---end--->8--- -- Regards, Bengt Richter

Re: Release v1.4 (or 2.0): process and schedule ?

2021-12-20 Thread Bengt Richter
, is communication and so attract > >> potential new users. :-) > > To me, it's a milestone that can be communicated and provides a more > thoroughly tested (in theory) Guix installation image. > > Thanks for helping shape the release plan, > > Maxim > -- Regards, Bengt Richter

Re: "Trojan Source" (CVE-2021-42574 and CVE-2021-42694): can 'guix lint' help someway?

2021-11-01 Thread Bengt Richter
In the latter case, maybe an automatic substitute for the backlisted file could be provided that would generate informative hints when used in a build instead of aborting the whole thing. A flag in the blacklist line might be a way to select alternative automated actions? > What do others think? > -- Regards, Bengt Richter

Re: Time for a request-for-comments process?

2021-10-28 Thread Bengt Richter
dates or interest. My trick to deal with such traffic is “just” to > quickly be able to determine if it is worth, for my interests, to jump > into the details. If it requires less than 10min to answer, then I do > it (obviously, it always take more time than expected :-)), else if I am > interested in, I mark the email to revisit it later – coupled with > Org-capture and scheduled TODO tasks. On the top of that, I use a > “structured procrastination” approach: do what I am interested in at the > moment, not what it is important or urgent. > -- Regards, Bengt Richter

Re: Guix Jargon File (WAS: Rethinking propagated inputs?)

2021-09-05 Thread Bengt Richter
s you may already be way ahead in :) Oh, if you haven't already, also check into guile's regular expressions, e.g. "info guile Ret Ctrl-s regular expressions Ret Ret" And also try guile's repl by just typing "guile Ret" and then ",help" Mvh, Bengt Richter On +2021-09-

Re: Guix Jargon File (WAS: Rethinking propagated inputs?)

2021-09-05 Thread Bengt Richter
;C-s whatever" once inside "info guix whatever", but though concept and api indices are great, they are not a Jargon File, and not as handy for an outsider :) On +2021-09-05 12:50:56 +0200, Liliana Marie Prikler wrote: > Hi, > > Am Sonntag, den 05.09.2021, 11:50 +0200 s

Re: Rethinking propagated inputs?

2021-09-05 Thread Bengt Richter
-cut here---end--->8--- > > (A quick search of the ML turned up one previous discussion [0]; does > > anyone know of others?) > > > > [0] > > https://lists.gnu.org/archive/html/guix-devel/2017-02/msg00362.html > W.r.t. native-inputs, I think native-inputs should propagate > propagated-inputs, but not linked-inputs. Makes sense, doesn't it? > > -- Regards, Bengt Richter

Re: packaging go-ethereum, and ultimately bee (of ethswarm.org)

2021-09-03 Thread Bengt Richter
d just use the latest version when feasible. > > Again, I don't see much difference with, say, haskell, python, ruby, > > guile, java ... packages. > > > my point here is not that all go projects should be packaged like this > (i.e. with exacly pinned dependencies), but that applications like > geth should be, regardless of the language they are written in. > > in case of a random image viewer written in go, i'm all in for a > relaxed handling of dependencies. > > > > Have there been any problems in practice with just using the latest > > version (updating the version currently in guix where applicable)? > > > not that i'm aware of, but the first such identified issue could turn > out to be very expensive. > > - attila > > -- Regards, Bengt Richter

Re: Use of %texlive-revision and %texlive-tag in tex.scm

2021-07-07 Thread Bengt Richter
On +2021-07-06 15:28:43 -0300, Nathan Benedetto Proença wrote: > Bengt Richter writes: > > > Hi Nathan, > > Nice writeup! > > Thank you! > > > On +2021-07-05 11:03:46 -0300, Nathan Benedetto Proença wrote: > >> Hello! > >> > >&

Re: Use of %texlive-revision and %texlive-tag in tex.scm

2021-07-06 Thread Bengt Richter
s? This would be a radical change in the approach to reproducibility, maybe dynamically selecting from a whitelist of trusted/tested substitutable executables with hash names in /gnu but not necessarily (though not excluding) binaries produced with guix source guarantees. Seems like guix is turing-complete enough to provide this kind of substitutable foreign functions already, so might this be a way to avoid mass recompilations? Or is this already available, but not so much used? I am not sure where to contibute thoughts like these, where they would be of interest rather than distracting. (Pls excuse the noise, if that's what this is to you). -- Regards, Bengt Richter

Re: Supporting *multiple* bootloaders for arm64 on a single install?

2021-06-20 Thread Bengt Richter
uot;Don't trust that thing with hash xxx...zzz, it blew up for me," and I can hold off until there's a consensus. WDYT? BTW, why not build multiple installer ISOs targeted for different architectures, and specialized needs? (for smaller ISOs and other benefits). I assume one could already do this with guix, but why not leave the whole ball-of-wax to git clone, and let people with common architectures have less to download and less irrelevant-to-them choices? > > Bye > > Stefan > > > ¹ <https://documentation-service.arm.com/static/5fb7e415d77dd807b9a80c80> -- Regards, Bengt Richter

Re: GNU Guix 1.4.0 in September? (was: Re: GNU Guix 1.3.0 released)

2021-05-17 Thread Bengt Richter
>8--- planner-importable xml here --8<---cut here---end--->8--- Discussion without triggering automated import would just leave "[release-plannng]" out of the Subject: line, or have e.g. [release-discussion] in the Subject: line. Anyway, I thought

Re: Free software telemetry and the Guix System

2021-05-15 Thread Bengt Richter
provide in return > > for such a great FOSS app as Audacity. > > +1 > My 2 cents: :) I like options, but I would feel more secure if it were implemented in a separate, dynamically linked when opted-in, some-implementation.so which I could get the kernel to prevent access to, e.g. by # chmod 400 some-implementation.so -- Regards, Bengt Richter

Re: Interesting reading for minimalists, esp mes folks? :)

2021-05-08 Thread Bengt Richter
On +2021-05-08 12:56:36 +0200, Bengt Richter wrote: > Hi minimalists :) > Forgot the main project link [6] ;/ > In case you hadn't yet come across this (LWN did a piece [5] about a year ago, > which was the first I heard of it. (Chasing a dream led me to check > more curren

Interesting reading for minimalists, esp mes folks? :)

2021-05-08 Thread Bengt Richter
--end--->8--- -- Regards, Bengt Richter

Re: A "cosmetic changes" commit that removes security fixes

2021-05-03 Thread Bengt Richter
nd links to more :) > Cheers! > > -- > Pierre Neidhardt > https://ambrevar.xyz/ -- Regards, Bengt Richter

Re: RISC-V is giving away developer boards

2021-04-30 Thread Bengt Richter
urtès wrote: > > > Could interested developers raise their hands? :-) > > > > I previously applied for early access to the BeagleV: > > > > https://beagleboard.org/beaglev > > > > I wasn't selected and I decided to focus on aarch64 for now. > > > > Hopefully some other people can step up and apply via this new program! > > > -- Regards, Bengt Richter

Re: Security related tooling project

2021-04-17 Thread Bengt Richter
to see you work in this area. Like Chris Marusich > wrote, Guix is in a good position to address security issues, and you’re > obviously in a very good position to know what and how to improve the > state of things in Guix, so all hail! > > Ludo’. > > ¹ https://issues.guix.gnu.org/31442 > -- Regards, Bengt Richter

Re: Why ban underscores?

2021-04-04 Thread Bengt Richter
es, which could lead to a proliferation of undesirable > diversity in our choices of hyphen-like characters. Then, we'd all have > to remember when typing a package name: "is this one of those packages > that uses underscores instead of hyphens?" > >Mark > I note

Re: Deep vs Shallow trace: Removing the tradeoff?

2021-03-30 Thread Bengt Richter
lever way to proove you have the proof, without > > disclosing it. Not sure it's helpful here. If you have a proof that you > > don't need to rebuild, why not share that proof to everyone in the first > > place? > > Sure, you only need the succinctness property. I should have been more > precise, what I am mainly after is resolving the tradeoff between shallow and > deep traces. > > I hope that this discussion can at least be helpful for people that are not > familiar with these ideas, even if - as it seems from your response - the > idea does not have merit. > > Kind regards, > - ilmu -- Regards, Bengt Richter

Security-czar needed? WAS: Re: Release 1.2.1: zstd 1.4.4 -> 1.4.9: grafting or core-updates?

2021-03-16 Thread Bengt Richter
vs fixes), packages (estimated number of times executed without problem, dangerous bugs in development history, etc). -- Regards, Bengt Richter

Heads-up from Linus -- potential bisection trainwreck: "A note on the 5.12-rc1 tag"

2021-03-04 Thread Bengt Richter
ith a filesystem that is essentially overwritten by random swap data. This is what we in the industry call "double ungood". --8<---cut here---end--->8--- -- Regards, Bengt Richter

Installing via iso.xz, really best idea? -- was Re: Gnome Boxes

2021-02-22 Thread Bengt Richter
t; >> Transparently serving pre-compressed ISOs with nginx (gzip level > >> 9) would save about 25% (559M -> 415M), which is surprisingly > >> similar. > >> > >> Kind regards, > >> > >> T G-R > >> > >> > > -- > - EJR Hm, I wonder how large a tarball "guix pack" as it works now would create to create something runnable with the my-neat-system-bootstrap.sh functionality described above, vs depending on the foreign system's bash, wget, dd, etc. -- Regards, Bengt Richter

Re: TOCTTOU race (was: Potential security weakness in Guix services)

2021-02-14 Thread Bengt Richter
emain a problem in modern systems; as of 2019, a TOCTOU race condition in Docker allows root access to the filesystem of the host platform.^[5] [ ] --8<---cut here---end------->8--- [...snip...] -- Regards, Bengt Richter

Re: GWL 0.3.0 released

2021-02-11 Thread Bengt Richter
On +2021-02-11 21:37:56 +0100, Ricardo Wurmus wrote: > > Bengt Richter writes: > > > gpg --verify gwl-0.3.0.tar.gz.sig > > gpg: assuming signed data in 'gwl-0.3.0.tar.gz' > > gpg: Signature made Sat 06 Feb 2021 09:28:59 PM CET > >

Re: GWL 0.3.0 released

2021-02-11 Thread Bengt Richter
0 ~/bs]$ --8<---cut here---end--->8--- Thought someone might want to know. -- Regards, Bengt Richter

Re: Would a Guix QA page be helpful?

2021-02-07 Thread Bengt Richter
ate format for time stamps, UTC, so one doesn't have to wonder what year it was when looking at an old copy/paste or screen capture ;-) That'd be enough to please me, anyway :) Good tags for searching are helpful, of course. > Thanks, > > Chris -- Regards, Bengt Richter

Re: Emacs and URLs in Git commit messages

2021-02-04 Thread Bengt Richter
ds all in script) that will do the same, assuming you have a usual x86_64 tool chain at hand, or 5. write it in some other interesting language (rash? :) I am not sure having the solution be dependent on emacs' (or any limiting entity's) internals is the most generally useful, but it's something I think about. I'd be interested in what you all think, though maybe it ought to be a new thread ;) > -- > Chris -- Regards, Bengt Richter

Re: PowerShell core?

2021-02-03 Thread Bengt Richter
s right now, so I haven't done anything rash :) -- Regards, Bengt Richter

Re: PowerShell core?

2021-02-02 Thread Bengt Richter
and Powershell comes with it!" Is that a sales pitch ?? For what? Caveat emptor! "I say Powershell is almost synonymous with IT worker rights..." Sounds political -- something lost in translation? Sorry if I totally misread your post. -- Regards, Bengt Richter

Re: [bug#45919] [PATCH 0/8] Exporting a manifest and channels from a profile

2021-01-28 Thread Bengt Richter
> branch: master > commit: a8b539d61a359060c35f3cb34c7edd1d9d14241d > bimsb-nonfree 4084e63 > repository URL: https://github.com/BIMSBbioinfo/guix-bimsb-nonfree.git > branch: master > commit: 4084e63c9c0d662780870aded9f5a6ca1b063780 > guix-science cf87b05 > repository URL: https://github.com/guix-science/guix-science.git > branch: master > commit: cf87b0501c4a38b96edf41025a27bf1cb91f521a > guix 957f0c4 > repository URL: https://git.savannah.gnu.org/git/guix.git > branch: master > commit: 957f0c40327ce00f53db22737e3775ce616ac258 > > $ guix time-machine -C /tmp/img/channels.scm -- pack -f docker > --save-provenance -m /tmp/img/manifest.scm > Updating channel 'guix' from Git repository at > 'https://git.savannah.gnu.org/git/guix.git'... > /gnu/store/xzk604g8gysv4azn7sf9nylr6iah97gl-docker-pack.tar.gz > --8<---cut here---end--->8--- > > To compare with > /gnu/store/wxymmnxdvdvf08ifsfy39xjaxilhrigk-docker-pack.tar.gz. > > On a third machine, I get: > /gnu/store/wxymmnxdvdvf08ifsfy39xjaxilhrigk-docker-pack.tar.gz > > Well, that’s another story and I have not inspected yet the > derivations and what could be wrong on the machine B. > > > Cheers, > simon > KUTGW ;-) -- Regards, Bengt Richter

Re: How would packaging Steam-proton games be received?

2021-01-09 Thread Bengt Richter
l help > it continue to grow, and channels can satisfy the need for things that > don't fit the FSDG. If Guix becomes large enough, it could be > transformative for the free software movement. > > [0] > https://www.gnu.org/philosophy/free-sw.en.html -- Regards, Bengt Richter

Re: Linux-Libre-LTS

2020-12-27 Thread Bengt Richter
ius amateurs :) I like the stackoverflow scoring of answers. I'd like something similar for packages. > This is based on my expectation that Guix users who can tolerate > unscheduled breakage from kernel updates will probably just use our > default "linux-libre" kernel, and that users who would choose > "linux-libre-lts" are probably doing so because they wish to avoid being > caught off guard by unscheduled breakage. Does that make sense? > > What do you think? > See above :) > Thanks, > Mark > -- Regards, Bengt Richter

Re: bug#45069: Guix System: unprivileged user cannot create user namespaces?

2020-12-07 Thread Bengt Richter
instances <== 128 ==> /proc/sys/user/max_inotify_watches <== 65536 ==> /proc/sys/user/max_ipc_namespaces <== 128163 ==> /proc/sys/user/max_mnt_namespaces <== 128163 ==> /proc/sys/user/max_net_namespaces <== 128163 ==> /proc/sys/user/max_pid_namespaces <== 128163 ==> /proc/sys/user/max_user_namespaces <== 128163 ==> /proc/sys/user/max_uts_namespaces <== 128163 --8<---cut here---end--->8--- HTH some way :) -- Regards, Bengt Richter

Re: Questionable "cosmetic changes" commits

2020-12-05 Thread Bengt Richter
information about what's going on. > > Anyway, I think the most useful output from this discussion is amending > or adding to the packaging guilelines to cover this: > > https://guix.gnu.org/manual/en/html_node/Packaging-Guidelines.html -- Regards, Bengt Richter

Re: Questionable "cosmetic changes" commits

2020-12-02 Thread Bengt Richter
(I think I got my nostalgic ideas of components from Meccano kit from the '40s ;) tl;DR: 1. I vote for running all code to be submitted through a standard pretty-printing canonicalizer. It could even inject TODO stubs for missing synopses, and doc strings (as an option :) -- Regards, Bengt Richter

Re: Releasing guix binary in Docker format too?

2020-11-18 Thread Bengt Richter
supports composition[1], how do they handle > this standard case ? How can we get Docker to generate /etc/services, > /etc/passwd and /etc/group for the composed docker image ? > I guess this question would morph if guixbuilder* became "projects", where "you can set the

Re: Discoverability at the REPL level

2020-11-16 Thread Bengt Richter
iable hints and documentation. > > > All the best, > simon > > > 1: https://yhetil.org/guix-devel/87tuttci4z.fsf...@gnu.org > 2: https://yhetil.org/guix-bugs/87y2jie1aj@gmail.com/ > 3: http://issues.guix.gnu.org/issue/38529#60 > 4: > https://yhetil.org/guix-devel/caf-xjgsynm3kszum__f9dspuc0epj2qkdfwdftilhttumfa...@mail.gmail.com > 5: https://yhetil.org/guix-devel/87woitz1xx@gnu.org/ > [...] -- Regards, Bengt Richter

Re: Latest Nyxt features a GUI for Guix :)

2020-11-11 Thread Bengt Richter
ut here---end--->8--- on pureos, debian-based --8<---cut here---start->8--- 4.19.0-12-amd64 #1 SMP Debian 4.19.152-1 (2020-10-18) --8<---cut here---end--->8--- NBD, just thought you might like to know :) -- Regards, Bengt Richter

Re: RFC: subcommand to pause/resume builds

2020-11-04 Thread Bengt Richter
x/daemon-ctl/hash-prefixed-derivation-file-name-in-question.drv.sfx and deleting it when wanting to allow it to continue. Later, if that works, .sfx files could have content, for as yet unimagined purposes ;) [...] > > Conclusion: I don’t think we can implement this reliably. > IDK from the outside, but inside-out, WDYT? > HTH! > > Ludo’. > -- Regards, Bengt Richter

Re: Hunspell dictionaries

2020-11-02 Thread Bengt Richter
1:TFTP 32:URI 33:GNOME 33:TCP 34:USB 34:VPN 35:API 35:LDAP 36:HTTPS 36:ID 36:QEMU 37:NFS 38:HOME 38:SERVER 40:VM 41:GCC 43:SSL 45:DNS 46:SUBSTITUTE 48:PATH 54:GRUB 61:HTTP 70:TLS 82:IP 90:GUIX 103:SSH 119:URL 454:GNU --8<---cut here---end--->8-

Re: A better way to access records.

2020-10-30 Thread Bengt Richter
quot;let-from-record-type" i just made up since i dont know what it should be > called.  Anyhow, it seems like we're stepping back a few centuries in > computer > science by needing to jump through these hoops. > > The list of symbols can be retreived with (record-type-fields > ), but I can't think of how one would write the above > syntax. > > Opinions? > > > info guile record may be useful :) -- Regards, Bengt Richter

Re: Using #true and #false everywhere?

2020-10-17 Thread Bengt Richter
o think about whether the whoops really could have been exploitable somehow. I see a waste of developer time, that can be much better used. My 2¢ :) -- Regards, Bengt Richter

Re: emacs-lucid (was Re: Emacs closure at ~900MB?)

2020-09-28 Thread Bengt Richter
Perhaps such an emacs package could have a smaller closure, by depending as simply as possible on wayland (sans Xwayland)? If the low level stuff were wrapped nicely in some guile extension modules, I suspect other uses than emacs would be found. [1] https://emacs.stackexchange.com/questions/48561/is-there-an-x11-free-build-of-emacs-that-can-run-on-wayland-not-going-through-x [2] https://packages.debian.org/sid/emacs-nox -- Regards, Bengt Richter

Re: NixCon 2020

2020-09-24 Thread Bengt Richter
e on 16 and > 17 October. This will be a contrast between Guix and Nix. > > I have prepared a self-shot of my presentation, > https://share.riseup.net/#N9ggM6bRWviQCTro3_qerQ > > Please leave your feed-back. -- Regards, Bengt Richter

Re: File search progress: database review and question on triggers

2020-08-15 Thread Bengt Richter
the former, preserving header and excluding non-installed, e.g.,? dpkg -l '*your*globbed*name*here*'|grep -v ^un > -- > Regards > Hartmut Goebel > > | Hartmut Goebel | h.goe...@crazy-compilers.com | > | www.crazy-compilers.com | compilers which you thought are impossible | > > -- Regards, Bengt Richter

Re: Linux-libre 5.8 and beyond

2020-08-10 Thread Bengt Richter
may produce other remainder end values. BTW, how did nix get such a weird alphabet for 0-31 ? Watermarking themselves? :) -- Regards, Bengt Richter

Re: MPFR and MPC

2020-07-28 Thread Bengt Richter
that might be true sometimes for meetings of specialists with urgent work to do, but not for inclusive public mailing lists :) -- Regards, Bengt Richter

Re: How to package inputrc

2020-07-12 Thread Bengt Richter
hat too? What do you think? > > Good night > Jonathan > > [0] https://wiki.archlinux.org/index.php/Readline > [1] > https://git.archlinux.org/svntogit/packages.git/plain/trunk/inputrc?h=packages/readline > [2] https://packages.debian.org/buster/all/readline-common/filelist > -- Regards, Bengt Richter

Re: [Guix Website] A Search Page for Packages

2020-07-08 Thread Bengt Richter
test reader view on other browsers and distributions. Anyway, raingloom got me thinking more about reader mode, and I think he would appreciate attention to that. I'll try to Cc: him :) > I'd like to know if you find the page useful so that I can hopefully start > working on incorporating t

Re: GNU Shepherd 0.8.1 released

2020-06-04 Thread Bengt Richter
ngs .sig's at all from mirrors? (it would be inconvenient when official server was down, but not a showstopper inconvenience, since the tgz would be be mirrored and could be validated with published sha256sum's). -- Regards, Bengt Richter

Re: Propose to distribute a user-only install script, not admin required

2020-05-16 Thread Bengt Richter
manipulation IIUC. So there's my 2 cents worth of bike shed paint :) Well, a little more, I hope. I'll be poking at it, but now will hope for ideas and prior art revelations here ;-) BTW, might encapsulating all of guix in the guixurootd $HOME file space serendipitously work with that systemd home encapsulator/migration- facilitator that I don't even know the right name of, possibly? -- Regards, Bengt Richter

Re: “guix --help” should point to https://guix.gnu.org/help/

2020-05-15 Thread Bengt Richter
y have extra relevant info for their particular distribution and use case. Links for pursuing that would help. Sometimes going to duckduckgo.com and typing "site:gnu.org what you want" in the slot can get you useful urls faster than navigating down from https://guix.gnu.org/help/ I don't think there's any shame in suggesting that :) > Yes, it cost nothing and could improve. I think that's way too unassertive :) > > > All the best, > simon > -- Regards, Bengt Richter

Re: hide more output

2020-05-06 Thread Bengt Richter
vity filters or the user's grep. It might be nice to have an option to menumonic-tag-name the log for easier later access and review. -- Regards, Bengt Richter

Re: Guix System video review on YouTube

2020-04-28 Thread Bengt Richter
t use To me it looks like he *is* using a terminal to get the above :) (or faking it from some re-purposed console cli sql output snippet?) > a CLI tool. A proper GUI will be more accessible. > By "proper" you mean browser-presented html/javascript ? ;-) > As one example, ASCII formatting makes screen readers a lot harder to > use. I don't think that has to be so :) > -- Regards, Bengt Richter

Re: 02/02: image: Disable compression for ISO images.

2020-04-28 Thread Bengt Richter
have different results, those benches are not very accurate > though. Might it throw some light to see your different results for --8<---cut here---start->8--- $ lscpu|grep -i bogo $ top -n1|grep ^MiB --8<---cut here---end--->8--- At least I'm curious :) > > Thanks, > > Mathieu > -- Regards, Bengt Richter

Re: Guix System video review on YouTube

2020-04-27 Thread Bengt Richter
(no description available) un vim-gtk3 (no description available) un vim-nox (no description available) ii vim-tiny 2:8.1.0875-5 amd64Vi IMproved - enhanced vi editor - compact version --8<---cut here---end--->8--- you can obviously grep ^ii to see what's installed only, or grep -v ^un to keep the headers with the ii's > > The the search command would fulfill it's function by giving you an > > overview about the available options. > > I agree as explained above. :-) > Room of improvements for "guix search". :-) > > > > >> * Multi user package concept not clear (root as different packages then > > >> normal user). > > > > > > This is related to expectation about "installed", IMHO. > > > > Yes. But can be confusing for all the people coming from traditional > > package managers where root and user share the same packages. > > Yes shifting is always difficult. :-) > > > Cheers, > simon > -- Regards, Bengt Richter

Re: hint: Run `guix search ... | less' to view all the results

2020-04-26 Thread Bengt Richter
h -c emacs '/home/bokr/.mutt/temp/mutt-LionPure-1000-4379-382192783617502847' muttpts/0 4379 S+ mutt bashpts/0 2822 Ss /bin/bash tilix ? 2817 Sl /usr/bin/tilix --gapplication-service systemd ? 1441 Ss /lib/systemd/systemd --user systemd ?1 Ss /sbin/init splash --8<---cut here---end--->8--- > > Thank you for your feedback. > > All the best, > simon > -- Regards, Bengt Richter

Re: 1.1.0 for HPC & reproducible research

2020-04-17 Thread Bengt Richter
mpressive! (Not to mention your personal productivity -- are you part 'bot? ;-) -- Regards, Bengt Richter

Re: GNU Guix 1.1.0 released

2020-04-16 Thread Bengt Richter
xOS origins than that commenter believes. Anyway, guix is cool :) https://dict.tu-chemnitz.de/de-en/ (Nice dictionary to help my creaky German ;-) > > Cheers, > >   Konrad > > -- Regards, Bengt Richter

Re: Hyperlinks!

2020-04-14 Thread Bengt Richter
as people may go there out of interest sparked elsewhere, to get up-to-date info on guix. Is updating wikipedia part of guix documentation work-flow? My 2¢ ;-) -- Regards, Bengt Richter

Re: good practices in science

2020-04-07 Thread Bengt Richter
Hi Konrad, > > So what makes you hopeful about guix? :) > > It's so technical that politics-minded people won't even look at it. LOL :)) -- Regards, Bengt Richter

Re: good practices in science

2020-04-06 Thread Bengt Richter
to keep their competition out of the market. Or that they'll be disrupted by metoo accusations. So what makes you hopeful about guix? :) > > Cheers, > Konrad > -- Regards, Bengt Richter

Re: good practices in science

2020-04-06 Thread Bengt Richter
[1] getting too easy access to knowledge they are not mature enough to handle ;-/ Amateur Jurassic Parks, anyone? Oops, that became a virus, not a tame T-Rex we can ride, what shall we do? [1] Not to mention Scrooge amd Dr.Strangelove ;-/ -- Regards, Bengt Richter

Re: 01/02: services: Allow modprobe to use "/etc/modprobe.d".

2020-04-06 Thread Bengt Richter
d with Danny[1]. > Instead of extending “etc-service-type” we would use > “activation-service-type”, as “%modprobe-wrapper” is currently put > in place by a simple activation service. > > [0]: https://issues.guix.info/issue/40422 > [1]: https://issues.guix.info/issue/40274#29 > > - Brice > [1] python -c 'import this' -- Regards, Bengt Richter

Re: [BLOG] On migration to the Hurd

2020-04-01 Thread Bengt Richter
tar® http://AvatarAcademy.com > -- Regards, Bengt Richter

Re: kmscon not working on MacBook

2020-03-25 Thread Bengt Richter
U system. Probably > one could blacklist yet another AMD graphics module instead of passing > nomodeset. But then the installer on AMD systems where the module is > working fine would be limited to uvesafb. > > Regards, > Florian > -- Regards, Bengt Richter

Re: February update on data.guix.gnu.org and the Guix Data Service

2020-03-12 Thread Bengt Richter
nd not HTTPS". I've gotten the impression that it's a compromise having to do with making load balancing easier somehow, but that's my ignorant speculation, which any real factoid could improve on :) -- Regards, Bengt Richter

Re: February update on data.guix.gnu.org and the Guix Data Service

2020-03-12 Thread Bengt Richter
ing? 2. Are the http [sans 's'] links necessary? [...] > > Thanks for the great update, as always! > > Ludo’. > -- Regards, Bengt Richter

Re: should auto updaters be disabled?

2020-02-29 Thread Bengt Richter
g "CVE-XXX: IMMEDIATELY DENY ALL, ALLOW ONLY ..." (with all the DOS threats and nuisances taken into account? Dreaming on .. but we have to dream things up before we can make them ;-) -- Regards, Bengt Richter

Re: 01/02: build: gnu-build-system: Don't run configure during bootstrap.

2020-02-16 Thread Bengt Richter
Hi Marius, On +2020-02-16 17:34:13 +0100, Marius Bakke wrote: > Bengt Richter writes: > > > Hi Efraim, > > > > On +2020-02-16 16:55:17 +0200, Efraim Flashner wrote: > >> On Sun, Feb 16, 2020 at 03:27:36PM +0100, Marius Bakke wrote: > >> > guix-co

Re: 01/02: build: gnu-build-system: Don't run configure during bootstrap.

2020-02-16 Thread Bengt Richter
ses NOCONFIGURE any way at all before being replaced with a proper meaningful new value. > Also, looking at the snippet, I should move it higher up. If it's not > executable then NOCONFIGURE doesn't get set. > > > -- > Efraim Flashner אפרים פלשנר > GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 > Confidentiality cannot be guaranteed on emails sent or received unencrypted Hope I didn't offend anyone :) -- Regards, Bengt Richter

Re: [Proposal] The Formal Methods in GNU Guix Working Group

2020-02-12 Thread Bengt Richter
t;from nothing" could be independent of a running kernel? Wouldn't that be cool? !! ;-) > > Thank you for all your contributions! > e.g., hex0 is amazing! :-) > > All the best, > simon > -- Regards, Bengt Richter

Re: Testing the installer

2020-01-23 Thread Bengt Richter
_bor > -- > OpenPGP Key Fingerprint: 7988:3B9F:7D6A:4DBF:3719:0367:2506:A96C:CF63:0B21 > -- Regards, Bengt Richter

Re: Guix minor version update?

2020-01-21 Thread Bengt Richter
a binary-installable guix (guix-maint-install.sh ?) which would install a minimal /gnu/store like guix-install.sh if no existing /gnu/store, _but either way_ would install guix-maint as a new generation of guix-maint in its own profile. The idea is to be able to load a safe minimal and quality-controlled-up-to-date seed environment (mes-derived?) which can be invoked as a base for first-time install or later for maintenance or experimentation. Maybe it could be a safe-mode boot option from grub, to run as something selected from minimal profile alternatives? HTH trigger some useful ideas, even if this is ignorant newbie rambling :) -- Regards, Bengt Richter

Re: Inverted index to accelerate guix package search

2020-01-13 Thread Bengt Richter
v" which does not contain the term "game" in its > description. Well, the query "game" using the brute force does not > return this very package. > > Then, in the function > "guix/scripts/package.scm(find-packages-by-description)", you could > try to replace the `fold-packages' by something using the inverted > index. (Note that the name `find-packages-by-descripton' is odd > because it uses synopsis, name, etc. too.). > > > Hope that helps. > > Chhers, > simon > HTH in some way :) -- Regards, Bengt Richter

Re: Commit log for reverts

2020-01-08 Thread Bengt Richter
o our future selves looking at the commit log > and wondering what was going on back then. :-) > > Thoughts? Wondering what log syntax might support writing a graph tool[1] that would produce a chart of commits and reversions with boxes of synopses connected by arrows. [1] With output opt

Re: FOSDEM + Guix Days approaching!

2020-01-04 Thread Bengt Richter
v4 which will come next week ;-) I hope to run guix on it, so if anyone else is running PureOS on a librem, I would appreciate any tips getting a robust setup going. Have fun a Guix-Days! -- Regards, Bengt Richter

Re: extending the documentation of the Scheme API

2019-12-23 Thread Bengt Richter
simple system abi dependencies) internal wheel barrow for use at home. [1]I know "prohibits" does not apply to extracting nuggets from FOSS, but the effort can be prohibitive, where the original developers of the nugget could have made it easy in many cases :-/ HTH in some way :) -- Regards, Bengt Richter

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

2019-12-17 Thread Bengt Richter
: unsetenv # │ └──┘ BTW, it would be really handy to be able to type guile -apropos rest of line as regex for the effect of ,a rest of line as regex in the guile repl -- Regards, Bengt Richter

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

2019-12-17 Thread Bengt Richter
ng the same thing by different names may reduce future naming options, and may muddy the peer-name namespace, so maybe consider using sub-commands or -adverb. > That is also the other option I was thinking about. Do you have any good > idea in mind as how to call it? Of course the classic guix environment2 > comes to my mind, but it does not look very appealing to me. > Me neither :) > > > > Cheers, > > > >Konrad. > > > Best regard, > g_bor > HTH in some way :) -- Regards, Bengt Richter

Re: The Guix Days! (FOSDEM 2020)

2019-12-15 Thread Bengt Richter
it yourselves to read about challenges of the past, the present, and the > > future when it comes to bootstrapping ARM systems. > > > > Not only does the blog post explain the problems and technical fixes, > > but Chris takes a few steps back to look at the bigger picture and > > invites you to think big. > > > > Enjoy! > > > > -- > > Ricardo > > > > > -- Regards, Bengt Richter

Re: Feedback from JRES in Dijon

2019-12-08 Thread Bengt Richter
Hi Tim, Konrad, On +2019-12-07 23:11:19 -0500, Timothy Sample wrote: > Hi Bengt, > > I omitted a lot of your message, but I hope I have the easy explanation > you’re looking for. :) > > Bengt Richter writes: > > > On +2019-12-07 11:35:02

Re: Feedback from JRES in Dijon

2019-12-07 Thread Bengt Richter
ICATE_VERIFY_FAILED] certificate verify failed: unable to get local issuer certificate (_ssl.c: 1108)'))) --8<---cut here---end--->8--- Anyone see an easy explanation? TIA -- Regards, Bengt Richter

  1   2   >