Re: TTY auto-login broken

[Joshua Branson]

Christian Miller  writes:

> Hello,
>
> this is how I configured my system:
>
> (modify-services %desktop-services
>   (delete gdm-service-type)
>   (mingetty-service-type config =>
> (mingetty-configuration
>   (inherit config)
>   (auto-login "cm")
>   ;; TODO: Work around to fix "Error in service module"
>   (login-pause? #t
>
> Without the (login-pause? #t) I would get "Error in service module" as
> an error message in my TTY and can't use the system.
>
> There is also someone else with that issue[0]
>
> I asked on the IRC[1] some time ago (somenickname was me in that case)
> and nckx had an assumption why this is happening.
>
> [0]: https://issues.guix.gnu.org/68384
> [1]: https://logs.guix.gnu.org/guix/2023-09-28.log#211350

Also the cookbook describes something similar and it is apparently not
working anymore either.  I've reported it some time ago.

https://issues.guix.gnu.org/56958

Thanks,

Joshua

-- 

Joshua Branson
Sent from the Hurd

Re: [PATCH glibc] Stop checking if MiG supports retcode.

[Joshua Branson]

Hey guix people!  The Hurd developers having a 64 bit Hurd that can run
/bin/sh.  The below are some tips for how to set up such a thing if you
were so inclined.  The Debian people are providing 64-bit hurd
applications here for now:

https://people.debian.org/~sthibault/tmp/hurd-amd64

Flávio Cruz  writes:

> Hi Sergey
>
> On Fri, May 19, 2023 at 4:02 AM Sergey Bugaev  wrote:
>
>  Hi,
>
>  On Fri, May 19, 2023 at 9:43 AM Flávio Cruz 
>  wrote:
>  > I have made changes so that it does daily builds and I'm able to boot
>  small programs. However, I haven't had the time to boot programs built
>  against Glibc. How do you package and boot the static binaries using a
>  ramdisk? I've been reading the other threads about the Guix/rumpkernel
>  so I might be able to piece something together and try it this weekend.
>
>  You just put the entirety of the root filesystem (containing /usr,
>  /bin, /lib, /hurd, and so on) as an ext2 image into a *file* that you
>  place onto the actual drive (a CD disk in my case), and then you ask
>  GRUB to load the file from the drive into memory, tell gnumach to make
>  a ramdisk device out of it (you'll need to apply [0]), and tell ext2fs
>  to use that device. Here's the relevant piece of my grub config
>  script:
>
>  [0]:
>  
> https://salsa.debian.org/hurd-team/gnumach/-/blob/master/debian/patches/50_initrd.patch
>  
>
>  multiboot /boot/gnumach console=com0
>  module /boot/initrd.ext2 initrd.ext2 '$(ramdisk-create)'
>  module /sbin/ext2fs.static ext2fs
>  --multiboot-command-line='${kernel-command-line}' --readonly
>  --host-priv-port='${host-port}' --device-master-port='${device-port}'
>  --exec-server-task='${exec-task}' --kernel-task='${kernel-task}' -T
>  device rd0 '$(fs-task=task-create)' '$(prompt-task-resume)'
>  module /lib/ld.so.1 ld.so.1 /hurd/exec
>  --device-master-port='${device-port}' '$(exec-task=task-create)'
>  boot
>
>  (I should probably change it to not hardcode 'rd0', but whatever).
>  Note that /boot/gnumach, /boot/initrd.ext2, /sbin/ext2fs.static, and
>  /lib/ld.so.1 are all paths inside the CD image (those are going to be
>  loaded by GRUB), and /boot/initrd.ext2 is the ext2 filesystem image
>  containing the actual Hurd root. /hurd/exec however is already a path
>  inside the fs image -- this is where ld.so (not grub) is going to load
>  the exec server from. The only static binary here is ext2fs.static,
>  the rest are all dynamically linked.
>
>  Then in /libexec/console-run (inside the filesystem image), I have
>  written the following:
>
>  #! /bin/sh
>
>  settrans -ac /dev/mach-console /hurd/streamio console
>  exec <>/dev/mach-console >&0 2>&0
>  echo Hello from /bin/sh!
>  exec /bin/sh -i
>
>  (If you're going to do the same, don't forget to create the
>  /dev/mach-console node beforehand, since the fs is read-only.) I also
>  had to patch streamio a little to do the \r -> \n conversion like
>  glibc already does in devstream:
>
>  diff --git a/trans/streamio.c b/trans/streamio.c
>  index 272a002c..0af1aea3 100644
>  --- a/trans/streamio.c
>  +++ b/trans/streamio.c
>  @@ -500,6 +500,9 @@ trivfs_S_io_read (struct trivfs_protid *cred,
>cred->po->openmodes & O_NONBLOCK);
> pthread_mutex_unlock (_lock);
> *data_len = data_size;
>  +  for (size_t i = 0; i < data_size; i++)
>  +if ((*data)[i] == '\r')
>  +  (*data)[i] = '\n';
> return err;
>   }
>
>  (maybe I should also add echoing of input characters in the same way,
>  which is also what glibc's devstream does -- otherwise currently I
>  don't see what I'm typing on the console).
>
>  Make sure to use the very latest glibc (Samuel has already pushed all
>  of my patches upstream!) + the BRK_START hack.
>
> Thanks for the instructions. I was able to make it work and pushed my
> changes to Github.
>
> For people that might want to try out the new port using
> https://github.com/flavioc/cross-hurd,
> the following will download the packages and build a disk image with the ram
> disk:
>
> $ export CPU=x86_64
> $ bash download.sh && bash bootstrap.sh && bash compile.sh && bash
> create-initrd.sh
>
> Then, to run qemu:
>
> $ bash start-qemu-debug.sh
>
>  Sergey
>

-- 

Joshua Branson
Sent from the Hurd

Re: Brainstorming ideas for define-configuration

[Joshua Branson]

Bruno Victal  writes:

> Co-authored-by: Felix Lechner
>
>
> After spending some time with old and new Guix services, I'd like to
> suggest some potential improvements to our define-configuration macro:
>
>
> User-specified sanitizer support
> ===
>

Yes please!  Thanks for working on these improvements!  It would make my
opensmtpd-service updates much easier (though I haven't really touched
the code in a while).

https://issues.guix.gnu.org/56046

>
> The sanitizers should be integrated with the type. Otherwise, they are
> tedious to use and appear verbose when repeatedly applied to multiple fields.
>
> ;; Suggestion #1
> ;; The procedure could return a sanitized value. Upon failure, there are
> ;; the following options:
> ;;- The procedure returns only a special value (akin to %unset-value)
> ;;  and an error message, as a pair.
> ;;  Exception raising is done by define-sanitized macro behind the scenes
> ;;  which makes the procedure easier to write.
> ;;- The procedure raises an exception. There would be no consistency
> ;;  on the message formats, however, except for any agreed convention.
> ;;  This would involve some code duplication.
> ;; Cons: too specific, not extensible.
>
> (define-sanitized typename procedure
>   (prefix ...))
>
>
> ;; Suggestion #2
> ;; A user-supplied procedure ('procname' below) would work just like the
> ;; procedure in option #1.
> ;; There is some similiarity to the Guix record-type*.
> ;; This could be extended more easily in the future should it be required.
> (define-type typename; maybe call this 'define-configuration-type' ?
>   (sanitizer procname)
>   (maybe-type? #t)
>   ;; The properties below are service specific.
>   ;; If this is implemented with Guix record-type* then we could have a
>   ;; module containing generic types and do something along the lines of:
>   ;; (define-type foo-ip-address
>   ;;(inherit generic-ip-address)
>   ;;(serializer ...))
>   (serializer procname)  ; define-type/no-serialization = sets this field 
> to #f ?
>   (prefix ...))
>
>
> Record Validator
> ===
>
> There is also a need to validate records. Matching fields alone do not 
> actually
> ensure that the configuration is coherent and usable. For example, some fields
> may be mutually incompatible with others.
>
> We could provide procedures that validate each record type within
> define-configuration itself instead of validating the value at runtime (i.e.
> within the body of the service-type).

This is also a great idea!

> Cheers,
> Bruno

Re: Merging core-updates? OFF TOPIC PRAISE

[Joshua Branson]

Christopher Baines  writes:

> Christopher Baines  writes:
>
>> Julien Lepiller  writes:
>>
>>> As discussed at Guix Days before Fosdem, we haven't merged core-updates
>>> in a very long time. I'd volunteer to lead this effort, but I don't
>>> know what steps I should follow. Do we have some documentation about
>>> that?
>>
>> I can try and help with this, at least in terms of helping get
>> bordeaux.guix.gnu.org substitute availability to a good level.
>>
>> I'd also like to get the kind of comparison that the qa-frontpage can do
>> for patches working for branches, but that'll probably take a bit of
>> work in the data service/qa-frontpage to get working smoothly.
>
> I've now addressed some performance issues with data.qa.guix.gnu.org,
> which means that the comparisons for core-updates (and branches like it)
> should now work, even if they're still a bit slow.
>
> This has enabled qa.guix.gnu.org to submit builds to the bordeaux build
> farm, they're still being slowly submitted but things have already
> started to happen for aarch64-linux at least.
>
> Once there's enough build data to work with, I'll see if I can start
> getting some information to show up on qa.guix.gnu.org.

Christopher thanks a million for your work on bordeaux and
qa.guix.gnu.org!  It's awesome that guix is moving towards having a QA
assurance that new patches won't break testsuitse!

Thanks again!

Joshua

Re: rust-team cuirass build

[Joshua Branson]

Efraim Flashner  writes:

> The Rust Team has been hard at work updating the rust compiler and a
> number of rust packages. We've tested a number of packages¹ to ensure
> that everything looks okay.
>
> Quick stats for the branch:
> 404 commits by 4 people.
> 181 packages updated
> 50 packages removed
> 155 new packages
> rust updated to 1.67.
> '#:skip-build? #t' no longer breaks the 'package phase.
> librsvg updated to 2.54.5.
> gdk-pixbuf updated to 2.42.10.
> rav1e updated to 0.6.3.
> tealdeer updated to 1.6.1.
>
>
> ¹ librsvg -e '(@@ (gnu packages gnome) librsvg-bootstrap)' rav1e 
> rust-cbindgen@0.23 ripgrep tealdeer fd newsboat

Great job team!  From what I hear rust is really hard to package
properly!  Great work!

Is there work on a new rust build system? Is that still being worked on?

Re: Oniro or Guix on Zephyr kernel?

[Joshua Branson]

Ryan Sundberg  writes:

> I have also used Guix to build a NetBSD image. You can use Guix to build
> just about any operating system image imaginable with the right amount
> of practice and patience :) A lot of patience in some cases as you are
> sure to hit some uncharted territory building whatever it happens to be.
>
> Getting the userspace to run is a bigger task, but you can certainly use
> Guix to build for example an embedded OS image with it's default
> userspace (not porting the Guix daemon or Shepherd).

Can you post the code or routine that you did for this?  I would love
for guix to run on the OpenBSD kernel, but if guix requires glibc for
most of the features...and porting glibc to OpenBSD might be a far off
goal...

Re: progress report on updating the Hurd packages

[Joshua Branson]

zamfofex  writes:

> Hello, everyone! I just wanted to be able to report my progress with updating 
> the Hurd packages.
>
> I have been able to get past my previous issues with building GMP, I think, 
> but
> it seems that the glibc in Guix is still too outdated for the whole endeavor 
> to
> succeed.
>
> I could either update the glibc package again or simply apply a patch to it
> (since the change needed seems to be small enough), but that would take quite 
> a
> while waiting for things to build, and I’m not sure I’m up for it at the 
> moment.
>
> I plan to pick this effort back up again at some point, but at the moment I’m 
> a
> bit tired of having to wait for packages to build for multiple days. But if
> anyone wants to pick up where I left off, I will upload a ‘git diff’ with my
> current changes. (Applicable to ‘core-updates’.)
>
> Here is some more insight based on my conversations on #hurd:
>
> - https://logs.guix.gnu.org/hurd/2023-02-20.log
> - https://logs.guix.gnu.org/hurd/2023-02-21.log
>
> If anyone wants to take this work meanwhile, please do let me know somehow so 
> that we don’t end up duplicating effort!
>
> Thanks for everyone’s amazing work on the Hurd and on Guix!

Here is an email that was send in the bug-hurd archives recently that
talked about how to build the Hurd on GNU/Linux.  Hopefully this will
help others to update our Hurd packages:

https://lists.gnu.org/archive/html/bug-hurd/2023-01/msg00132.html

Here are some scripts that automate this process:

https://github.com/flavioc/cross-hurd

The hurd was a wiki page for this as well (probably outdated):

https://darnassus.sceen.net/~hurd-web/toolchain/cross-gnu/

Also for those of you who don't know, the Hurd is getting a ton of
developer attention right now.  Work in progress includes SMP work, 64
bit kernel (with 32 bit address space), some re-using netBSD's driver's
work, etc.  Now's a great time get subscribed to the Hurd's mail
developmental email list:  bug-hurd:

https://lists.gnu.org/mailman/listinfo/bug-hurd

Re: Oniro or Guix on Zephyr kernel?

[Joshua Branson]

Csepp  writes:

> Peter Polidoro  writes:
>
>> I just stumbled across Oniro[1], the Eclipse Foundation's new
>> operating system.
>>
>> It seems that its main goal is to be able to run a common operating
>> system on multiple embedded kernels, either the Linux kernel for
>> larger devices or the Zephyr kernel for smaller ones.
>>
>> Since Guix System can run on both the Linux kernel and the Hurd
>> kernel, could it, in theory, also run on the Zephyr kernel?
>>
>> Could Guix System be an alternative to the Oniro project or is there
>> something about Guix System which would make it unsuitable for
>> embedded devices on an RTOS kernel?
>>
>> Footnotes:
>> [1]
>> https://blogs.eclipse.org/post/mike-milinkovich/introducing-oniro-vendor-neutral-open-source-os-next-gen-devices

Actually, my new friend Mitchell just created a blog post about using
GNU Guix for Zephyr kernels:

https://gnucode.me/building-toolchains-with-guix.html

So GNU Guix can definitely help with this endeavor.  :)

Joshua

Re: Packages grow, no longer fit on a 

[Joshua Branson]

Paul Jewell via "Development of GNU Guix and the GNU System
distribution."  writes:

> Evening all,
>
>
> Please forgive my ignorance if I have missed anything but:
>
> - does anyone actually install from a CD these days?
> - Can an ISO be bigger than a CD then be installed on a memory stick?
>
> It strikes me that this is like King Canute holding back the tide. Package 
> size
> growth is pretty inevitable, and even if work now can bring the size down to
> that of a CD, the same problem will occur in the not too distant future.
>
> Is it really a problem? Please educate me! :)
>

Well if GNU Guix/Hurd System ever becomes a thing, you will need a CD to
install the Hurd.  The Hurd currently does not have usb support.  Though
work is ongoing to fix this.  Also the current Debian GNU/Hurd requires
a CD to install in real hardware.

>
> --
> Paul

Re: Command consistency: suggestion

[Joshua Branson]

Paul Jewell via "Development of GNU Guix and the GNU System
distribution."  writes:

> Good morning!
>
> It struck me this weekend that there is some difference in the command 
> structure
> for the different guix sub commands. For example:
>
> guix package --list-generations
>
> and
>
> guix system list-generations
>
> guix package has everything as an flag, but guix system (and guix home) uses 
> the
> concept of ACTION with options and arguments.
>
> Perhaps the latter is clearer, and guix package should also follow the same
> model?

+1

Updating Guix's packaged GNU/Hurd

[Joshua Branson]

Hey Guix,

I follow bug-h...@gnu.org pretty religiously (it's super entertaining),
and there has been work on a new cross-hurd branch, which are some
scripts for cross-compiling and creating an up-to-date Hurd system:

https://github.com/flavioc/cross-hurd

Anyone who is interested in updating Guix's GNU Hurd package recipe
might be interested in the above repo.

Thanks,


Joshua

Re: GNU Guix 1.4.0 released

[Joshua Branson]

indieterminacy  writes:

> On 03-01-2023 10:08, Ludovic Courtès wrote:
>> Hi!
>> Maxim Cournoyer  skribis:
>> 
>>> Congrats, and yay!  It's a hell of a release! :-) Let's try to make more
>>> punctual ones from now on, and also try to lower the amount of manual
>>> labor producing one incurs (by streamlining the process), as speaking
>>> for me, this was one of the reasons I kept putting it back.
>> Definitely, let’s see how we can make the process smoother.
>> In my experience though, a lot of the work is coordination: keeping
>> track of what needs to be done, open bugs, calling for testing, etc.
>> I think we should start thinking about the next release, forming a
>> small release team, and I’ll be happy to mentor!
>> Thanks,
>> Ludo’.
>
> Out of curiosity, have you ever approached developing a release from the
> perspective of doing documentation first?
>
> For example, test driven approaches like BDD or TDD have allowed the
> expectations and examples to be worked out first and the the implementation
> built to form it.
>
> More practically, theres a recent thread concerning different approaches and
> priorities concerning syntaxes. Also, if during 1.5 there were articulations
> regarding how existing behaviour does not conform with desired behaviour then 
> it
> may become easier to divide up tasks into chunks for teams or individuals to
> work on.
>
> With idealised documentation in place this could provide a point of motivation
> for developers and avoid any fatigue once the solution is in place as the
> /drudgery/ of explaining how things work and how they can be used had been
> worked out in advance.

What areas does guix need more documentation?  To answer that question
for myself, I might say more gexp examples.  Though unmatched-paren is
working on a series of blog posts to dive really deep into that topic.

> In any case, while I cannot comment on the tactics within the OpenBSD 
> community
> I always considered it a noble thing that no improvements we put into their OS
> until the features were correctly documented.
>

While OpenBSD does a pretty good job of documenting everything, I would
also chime in and say that Guix does a fantastic job of translating the
existing documentation into other languages. What do we have
documentation in English, German, French, and significant parts in
Russian and some asian languages. That's pretty stellar!

>
> Thanks everybody with your work on 1.4.0 !

Re: Suggest improve emacs setting in 'The Perfect Setup'

[Joshua Branson]

Feng Shu  writes:

> Hello:
>
> In 'The Perfect Setup', we suggest user to use the below emacs config:
>
> ```
> ;; Assuming the Guix checkout is in ~/src/guix.
> (with-eval-after-load 'geiser-guile
>   (add-to-list 'geiser-guile-load-path "~/src/guix"))
> ```
>
> This config need user to deal with %load-path of guix, which seem to be
> a hard job for new guile user for many dirs of guix and other guix channels,
> why not suggest new user to use the below config:
>

How about you go ahead and make a patch on guix-patc...@gnu.org, that
way this issue is not forgotten?

>
> ```
> (setq geiser-guile-binary (list "guix" "repl"))
> ```
>
>
> or:
>
> ```
> (setq geiser-guile-binary (list "guix" "repl" "-L" 
> "/path/to/user-own-config-dir"))
> ```
>
> when user just want to develop his own guix config, just run:
>
> ```
> emacs
> ```
>
> guix and other channels installed by 'guix pull' will be used properly.
>
> when user want to develop in guix.git, he just run emacs like the below:
>
> ```
> ./pre-inst-env emacs
> ```
>
> The below is my guix emacs config, seem to work:
>
> 
>
> (require 'geiser)
> (require 'geiser-guile)
> (require 'guix)
> (require 'magit)
>
> ;; ** My own guix config.
> (defvar eh-geeguix-dir (expand-file-name "~/geeguix"))
>
> ;; ** Let geiser-guile use 'guix repl'
> (setq geiser-guile-binary (list "guix" "repl" "-L" eh-geeguix-dir))
>
> ;; ** guix-devel-mode
> (add-hook 'scheme-mode-hook #'guix-devel-mode)
>
> ;; ** Get guix dir installed by 'guix pull'.
> (defun eh-guix-dir ()
>   (file-name-as-directory
>(cl-find-if
> (lambda (dir)
>   (file-exists-p (expand-file-name "guix.scm" dir)))
> (directory-files
>  (expand-file-name "~/.cache/guix/checkouts/")
>  t
>
> ;; ** copyright-update
> (when (eh-guix-dir)
>   (let* ((dir (eh-guix-dir))
>  (file (expand-file-name "etc/copyright.el" dir)))
> (when (file-exists-p file)
>   (load-file file)
>   ;; (add-hook 'after-save-hook 'copyright-update)
>   (setq copyright-names-regexp
> (format "%s <%s>" user-full-name user-mail-address)
>
> ;; ** tempel
> (when (eh-guix-dir)
>   (let* ((dir (eh-guix-dir))
>  (path (expand-file-name "etc/snippets/tempel/*" dir)))
> (add-to-list 'tempel-path path)))

I would also add:

(add-hook! 'scheme-mode-hook #'display-fill-column-indicator-mode)

This creates a vertical line that reminds you that your code should fit
inside 80 columns.

Possible also mention how to set up page break lines:

https://github.com/purcell/page-break-lines

Re: Package update patch review

[Joshua Branson]

Andy Tai  writes:

> Hi, Merry Christmas!  A question, how to call attention to package definition 
> update patches that may have been waiting for
> review for some time in the issue tracker/debug database? Some may have 
> responses to prev review comments.  Basically
> some kind of "ping" for such patches hanging there.  Thanks
>

Oh, you can always just respond to the latest email with a "ping".  I
believe guix has fantastic reviewers, but lots of patches need
reviewing.  :)  I've got I think 2 or 3 patches that need reviewing.
Some of them are waiting on me!  I would say, just occasionally sending
a "ping".  Also reach out on irc.

Thanks,

Joshua

Re: Stratification of GNU Guix into Independent Channels

[Joshua Branson]

Vagrant Cascadian  writes:

> On 2022-12-24, jgart wrote:
>> I wanted to ask you what are your thoughts on this idea. This is a
>> thought experiment at this stage.
>>
>> Should GNU Guix be a small core of packages (and services?)?
>>
>> For example, GNU Guix would be a core channel containing the reduced
>> binary seed bootstrap and a few other core packages to bootstrap the
>> system. That's it. Users subscribe to this channel to get started.
>
> I definitely am excited and hopeful to think this *could* be possible!
>
>
>> Users could then decide what channels they'd like to subscribe to/opt
>> in to by adding any of the following channels as they please:
>>
>> python-channel
>> rust-channel
> ...
>> scheme-channel
>> etc...
>>
>> The above channels would still be maintained under the auspices of GNU.
>>
>> What do you think would be the pros and cons of the stratified
>> approach versus the monorepo approach that we currently have?
>
> The pros would be only having to pull the small bits you actually want,
> and that could be faster to run "guix pull".
>
> This would certainly make it much easier to package a "core" subset of
> guix for other distros (e.g. I work on packaging guix in Debian) that
> having to package the whole entire guix universe.
>
> I suspect the "small bootstrap core set" to eventually pull in quite a
> bit of other things, and continually be at risk of needing to pull in
> more things...
>
> You would probably need to have inter-channel dependencies... which
> makes me wonder how many cyclic dependencies might result...
>
> git alone pulls in dependencies for perl, python, git, subversion,
> openssl ... and what is the dependency cycle for each of those? Guix
> apparently can generate pretty charts for this stuff, though I have yet
> to try. :)
>

Fun fact of the day, the OpenBSD crowd is creating got, which is a
rewrite of git, with less features, in C.  :)

>
> I have the (perhaps mininformed) impression nix has a split more along
> these lines with the core of nix being one thing, and then collections
> of packages being other repositories.
>
>
>> GNU Guix proper would be a solid core of packages that is very easy to
>> maintain. This would greatly reduce the maintenance burden since
>> maintaining a world of rust, golang, or python packages is opt in by
>> those who want to do that particular work.
>
> If it is possible, it seems likely to make releasing more regularly and
> less stressfully...
>
>
>> Would being subscribed to just the hypothetical small core channel in
>> this proposal increase download/installation speeds given the
>> availability of substitutes?
>
> I suspect it would significantly increase guix pull speeds, at the very
> least.
>
>
> live well,
>   vagrant

Re: bringing npm packages to Guix

[Joshua Branson]

Mekeor Melire  writes:

> 2022-11-19 18:27 zamfo...@twdb.moe:
>
>> Hello, Guix!
>
> Hello :)
>
>> A few months ago, I picked up the work towards importing npm packages to Guix
>> by Jelle et al. in the hopes of continuing it, and I felt disheartened when I
>> concluded that it does indeed seem like a very large part of npm is necessary
>> to build even a simple package like jQuery.
>
> Thanks for bringing this back up!
>
> Although, I work with the node/npm ecosystem on a daily basis, unfortunately, 
> I
> don't really understand why it's so difficult to import npm-packages into 
> Guix.
>
>> But, recently, I decided to spend some more time thinking about it, and I
>> realized that not all of the ‘devDependencies’ of a given package are 
>> actually
>> necessary to build it. A lot of packages have ‘devDependencies’ for things
>> such as tests and watching the filesystem for changes for ease of 
>> development.
>
> Is importing npm-packages into Guix difficult because npm-packages have so 
> many
> dependencies?
>

Yes.  The recursive javascript importer that was written, generates
package definitions that are larger than the source code for the
packages.  It's quite a hairy problem.

>> If you think about it, what the vast majority of npm packages need to build
>> successfully comes down to (optionally) compile TypeScript, then (optionally)
>> perform some kind of bundling or transpilation. And that doesn’t really
>> require TypeScript or a build tool from npm, since esbuild (which is already
>> packaged) can do both of those things by itself.
>
> Is importing npm-packages into Guix so difficult because we have a
> chicken-and-egg problem, since many build-time dependencies (like TypeScript)
> have so many dependencies themselves?
>
> Also, is there a reason to choose esbuild over rust-swc (or vice versa)?
>
>> Now, taking away the ‘devDependencies’ when recursing the dependency tree
>> makes the whole endeavor of importing an npm package seem *much less*
>> difficult and scary! The biggest unfortunate issue is that for packages with 
>> a
>> build step (TypeScript and/or bundling+transpilation), it is necessary to use
>> esbuild ad‐hoc (i.e. in a case-by-case basis), because each package has its
>> own build peculiarities, and esbuild doesn’t acknowledge them. (One solution
>> could be to create an esbuild wrapper that mimics ‘tsc’ and other tools.)
>
> Could we also build TSC with Esbuild, and then use TSC to build packages that
> depend on it, instead of mimicking TSC with Esbuild? Does that make sense?
>
> With "mimicking TSC", do you mean that Esbuild does not transpile multiple
> .ts-files at once? (By the way, Esbuild seems to make use of the tsconfig.json
> file, according to .)
>
>> With that approach in mind, I was able to package sucrase as a proof of
>> concept! Note that sucrase doesn’t have a lot of transitive dependencies, so
>> it was easy to just modify the phases of each package in an ad‐hoc way.
>> However, also note that sucrase depends on itself, so I decided to bootstrap
>> it with esbuild, then use the bootstrapped version to build sucrase again.
>> (The bootstrapped sucrase seems to also work as expected!)
>
> That's so great!
>
> Sorry for asking nooby questions. I just want to catch up and press ahead with
> the discussion.

Re: GMP GCC C++ Hurd cross-build failure on core-updates

[Joshua Branson]

zamfofex  writes:

> Hello, Guix! I have been trying to update the Hurd packages to their latest
> commits in the hopes that I can eventually get networking with netdde
> functioning.
>
> In , I got something that seemed to be
> working at first (at least it progressed farther than the status quo at the
> time), but eventually I got an error that seemed related to Mig, which I had 
> not
> updated in that patch set.
>
> Updating Mig required a more recent glibc than what was available in Guix at 
> the time, so I worked on  to update glibc.
>
> Now that the recent glibc is on core-updates, I picked up my work once again. 
> I
> updated the packages to the latest commits, and updated Mig! However, I ran 
> into
> an issue while trying to build a system image. The issue is that GMP fails to
> cross‐compile during the ‘configure’ phase becase the cross‐compiling ‘g++’ is
> not functional.
>
> When checking whether ‘g++’ can compile executables during ‘configure’, ‘g++’ 
> is
> unable to link the executables because some ‘pthread_*’ symbols required by
> libstdc++ are missing from libc. And when checking using ‘readelf’, they are
> indeed missing from the cross‐built libc, which instead contains similar
> ‘__pthread_*’ symbols.
>
> I don’t know for sure what the issue is, but I highly suspect libstdc++ is 
> being
> compiled against the native glibc headers, rather than the cross‐built glibc
> headers like it should.
>

I am way out of my depth here, but would it matter that on the hurd
pthread is not in glibc?

https://lists.gnu.org/archive/html/bug-hurd/2022-10/msg00069.html

>
> Note: Currently, trying to cross‐build packages from core‐updates for the Hurd
> will fail while compiling glibc, since the Hurd package is too outdated for 
> that
> version of glibc.
>
> I’ll attach a diff (for core-updates) with the updated Hurd packages to this 
> email. To verify the behavior I’m describing, try running:
>
> - - - - -
> ./pre-inst-env guix build --target=i586-pc-gnu gmp
> - - - - -
>
> Any kind of assistance would be appreciated! Thanks in advance.

Re: PMB integrated Library System

[Joshua Branson]

"yarl baudig"  writes:

> Hello guix,
> I would like to ask for comments on this, please.
> A relative asked me to install pmb (www.sigb.net) on his linux computer.
> I thought that trying to package this for guix would be a good way to make it
> easier for me to maintain it, to contribute to guix, and to learn more about
> guix.
> I won't comment the software or the lack of documentation.
> Anyway, this was not as easy as I thought.
> I prefer sending this on this list first to have some comments. I am still 
> learning.
> Does this fit in guix? What mistakes did I do? Is my english good enough? I 
> take all comments. Thank you!
> I am also planning to package koha (koha-community.org) after pmb, for 
> comparison.
>

Your english seems pretty fine to me!

> +(define-module (gnu packages ils)
> +  #:use-module (guix packages)
> +  #:use-module (guix download)
> +  #:use-module (guix build-system copy)
> +  #:use-module (guix licenses)
> +  #:use-module (gnu packages gawk)
> +  #:use-module (gnu packages compression)
> +  #:use-module (gnu packages php)
> +  #:use-module (gnu packages perl))
> +
> +;;; Commentary
> +;;;
> +;;; Integrated Library Systems packages.
> +;;;
> +;;; Code
> +
> +(define-public pmb
> +  (package
> +   (name "pmb")
> +   (version "7.4.6")
> +   (source (origin
> +(method url-fetch)
> +(uri
> +  (string-append
> +   "https://forge.sigb.net/attachments/download/3968/pmb;
> +   version
> +  ".zip"))
> +(sha256
> + (base32
> +  "0ana1w8d60n2gznhh1zyjdld4xi4p2pm2hc05m8n7fh2bvlmw0cr"
> +   (build-system copy-build-system)
> +   (arguments '(#:install-plan '(("." "share/http/pmb"
> +   (native-inputs (list unzip))
> +   (propagated-inputs (list php perl))
> +   (synopsis "Integrated Library System")
> +   (description "PMB is an Integrated Library System for librarians, 
> documentalists and 
> +information managers.
> +
> +PMB features include:
> +@itemize
> +@item Management of physical and digital collections
> +@item Standardization of the document collection
> +@item Native integration of RFID solutions
> +@item Enhancement of the collection with a personalized document portal
> +@item Management of acquisitions
> +@item Monitoring of activities with statistical tools
> +@item Communication with users (ISD, monitoring, documentary products, etc.)
> +@item Internal management of users or synchronization with an LDAP/AD 
> directory.
> +@end itemize
> +
> +This contains only the PMB archive (html, php and css files), you will need 
> a web
> +server, php and a SQL database server. See the guix pmb service.")
>

Your description is a little long.  I would limit myself to one sentence.

> +   (home-page "https://www.sigb.net;)
> +   (license cecill)))
> +
> -- 
>

Re: Guile debugger workgroup?

[Joshua Branson]

Maxim Cournoyer  writes:

Just my 2 cents, I always thought that the elisp debugging experince is
super user friendly and awesome!

M-x edebug-defun RET function-name RET

And you are golden!

It would be awesome if guile could offer something as seemless.  :)

Re: guix melpa mirror!

[Joshua Branson]

jgart  writes:

> Have people seen this yet?
>
> https://github.com/babariviere/guix-emacs
>
> pretty epic I think
>
> https://github.com/babariviere/guix-emacs/blob/master/docs/how_it_works.org
>
>
> https://github.com/babariviere/guix-emacs/blob/master/scripts/update
>
> https://github.com/babariviere/guix-emacs/blob/master/emacs/packages/melpa.scm
>

That is pretty rad!  I wonder if guix has packaged all of the elpa
packages?  If not, then this source code might be useful.  :)

Re: FOSDEM 2023 - Declarative and Minimalistic Computing - Call for Participation

[Joshua Branson]

Manolis Ragkousis  writes:

> We are excited to announce a devroom on Declarative and Minimalistic
> Computing at FOSDEM on 4th of February, 2023!
>

I'll be the first one to say it.  Someone ought to talk about the
upcoming guile-steel language, which is built on pre-scheme:

https://dustycloud.org/blog/guile-steel-proposal/

https://gitlab.com/flatwhatson/guile-prescheme/

Joshua

Has guix system ever run a hardware survey?

[Joshua Branson]

Maxim Cournoyer  writes:

> Hi,
>
> b...@bokr.com writes:
>
> [...]
>
>>
>> I opted for the best SSD available for my purism librem13v4 at the time,
>> and was really happy with seems like 10x faster than the SATA SSD in my older
>> but still i7 x86_64 previous laptop. Prob really 4-5x faster.
>>
>
> Building Rust is mostly CPU dependent; I think fast single thread
> performance is key as not that much happen in parallel, IIRC.  The 3900X
> is a 12 cores (24 logical) beast.
>

This makes me wonder what sort of data we'd get if we asked guix system
users what sort of machine they use guix system on.

I've got an os-booted Thinkpad T400.  My core 2 duo seems pretty slow
compared to what ya'll have.  :)

Re: Trusted Firmware-A (ARMv8)

[Joshua Branson]

Kevin Vigouroux via "Development of GNU Guix and the GNU System
distribution."  writes:

> I would like to install Guix (System) on the Banana Pi M5 [0]. The
> board is “open source” but not the firmware released by Amlogic [1].
>
> The platform (Amlogic Meson S905X3) is currently not supported by the open
> source project Trusted Firmware-A [2][3].
>
> I am a user not an expert and I don’t know what to do.
>

This kind of question might get a better answer in help-g...@gnu.org.
:)

Well, if you are trying to preserve your computing freedom, you might
need to ask how well will the board operate without the closed firmware.

Will wifi work?  Probably not, but you can purchase usb wifi dongles.

Will graphics work... I've no idea.

Best of luck!

Joshua

> --
> [0]: https://wiki.banana-pi.org/Banana_Pi_BPI-M5
> [1]: 
> https://u-boot.readthedocs.io/en/latest/board/amlogic/pre-generated-fip.html
> [2]: https://trustedfirmware-a.readthedocs.io/en/latest/plat/index.html
> [3]: https://linux-meson.com/hardware.html

Re: Booth at FOSDEM (Brussels), 4-5 Feb 2023?

[Joshua Branson]

Julien Lepiller  writes:

> I'll be happy to help!
>
> From my experience with LFS it's important to have enough to share with 
> people. We had stickers (obviously), and also
> bookmarks and even printed versions of the book. Even with three people we 
> could manage the stand, but the more we are,
> the easier it becomes. Remember you have to attend the devroom too!
>
> We had issues managing stocks of stickers. Having too many displayed at once 
> will incentivise people to take a huge pile to
> share with friends at home, but it also means the stocks deplete quickly :)
>
> One nice thing to have is also a table cloth with our logo/graphics. Some 
> distros have live-CDs.
>
> I can take care of ordering that, stickers and anything else if I get 
> reimbursed. I can't come up with nice graphics by myself
> though, so please share any ideas :)
>

Error in the finalization thread:

Success.

Re: Progress with automating testing of patches

[Joshua Branson]

Ludovic Courtès  writes:

> Hi,
>
> jbra...@dismail.de skribis:
>
>> I just created a debbugs-guix.el file in debbugs.  The update should be
>> available on elpa by now.
>>
>> https://issues.guix.gnu.org/56987
>
> Nice!  So that’ll be part of the next ‘emacs-debbugs’ package, right?
>

Yes sir!  It provides debbugs-gnu-guix-search 
debbugs-gnu-my-open-bugs functions.  

>
> Ludo’.

Re: Welcome to our new committer!

[Joshua Branson]

I am a little late to the party, but congrats Androw!

Your hacking videos on guix are awesome!

Thanks,

Joshua

Re: Breaking the loop with php's composer

[Joshua Branson]

Mája Tomášek  writes:

> Hi,
>
> Since I want to deploy roundcube on my guix machine, I was recently
> looking into packaging composer (https://getcomposer.org/) which
> is a dependency manager for PHP.
>
> First it looked like it will be a simple task! Simply download the
> installer. But! The installer was actually just a downloader for a .phar
> archive. Why do you need a downloader for an archive in a repo?
>
> So time to reverse engineer the archive. How to build it. Okay, now I
> encountered a build script from
> https://github.com/composer/getcomposer.org/blob/main/update.sh, but!
> Another hickup. This script relies on composer! So you cannot build
> composer without having composer! It's dotnet all over.
>
> So I came to you, what should I do now? Here are my options:
>
> 1. contact the developers and hope they will help me

Certainly give that a try!

> 2. reverse engineer and build composer inside guix from scratch (as guix 
> needs to install
> dependencies outside of package managers and it'll still need to
> circumvent the composer's download phase)

You could always use git to travel back in composer's time, to a time
when composer did not use compuser to build itself.  I think that is how
to package jquery currently.  We just use a really old makefile and have
an outdated jquery package.

> 3. phar archives are actually acceptable in guix distribution, it
> doesn't need to be built from source (i doubt this is the case)

You are correct.  Guix perfers that we build everything from source.

Best of luck!
>
> Thank you all for any help.
>
> With wishes of great wednesday,
> Maya

Re: Could Guix System eventually run on top of HyperbolaBSD ? slightly off topic

[Joshua Branson]

Akib Azmain Turja  writes:

> Joshua Branson  writes:
>

I did not write the below sentence.  I was quoting the previous
discussion found on guix devel.

>> (I mean it
>> works on the Hurd also, but I have never encountered a Hurd user in real
>> life)
>
> Really?  I found tons of bugs in the Hurd port, causing it to not even
> boot properly.
>

I would not know how well GNU/Hurd Guix System runs.  I have never used
it.  I have played with hurd-service.  That's pretty cool.  But I could
never really get it to work...I am currently playing with the
pre-packaged qemu debian image.

Re: Could Guix System eventually run on top of HyperbolaBSD ? slightly off topic

[Joshua Branson]

Josselin Poiret  writes:

> Hello,
>
> Joshua Branson  writes:
>

To be clear, I did not write the next paragraph.  I was quoting the
previous discussion.  :)

>> I would love for Guix to be a Multi Kernel package manager (I mean it
>> works on the Hurd also, but I have never encountered a Hurd user in real
>> life). My dream would be to port Guix to Plan 9 ;-)
>
> I don't think Guix runs on the Hurd in the same way that Guix runs on
> Linux: the (gnu system hurd) tells me that the daemon is started with
> --disable-chroot, which actually disables all isolation mechanisms.
> There would need to be a significant effort to port the isolation
> mechanisms to the Hurd.
>
> Seeing how the daemon is in general left alone since C++ is hard
> compared to Scheme (and there's always the "but we could rewrite it in
> Guile" excuse), combined with the difficulty of interfacing with
> kernels, I'm not sure BSD support (or even Hurd support) will appear
> anytime soon.
>

To be fair, Guix does support the Hurd. You can run the guix package
manager on the Hurd. Guix System does not yet support the Hurd. Though I
believe I talked with a user in the guix community that was running GNU
Guix System/Hurd, but the issue he ran into was that he has no wifi
support. Then something broke in GNU Guix System/Hurd and he no longer
run GNU Guix System/Hurd on real hardware.

>
> Best,

Re: Could Guix System eventually run on top of HyperbolaBSD ? slightly off topic

[Joshua Branson]

indieterminacy  writes:

>
> I recall dicussing this topic area with you last year:
> https://lists.gnu.org/archive/html/help-guix/2021-06/msg00080.html
> https://lists.gnu.org/archive/html/help-guix/2021-06/msg00082.html
> https://lists.gnu.org/archive/html/help-guix/2021-06/msg00083.html
> https://lists.gnu.org/archive/html/help-guix/2021-06/msg00084.html
> https://lists.gnu.org/archive/html/help-guix/2021-06/msg00085.html
> https://lists.gnu.org/archive/html/help-guix/2021-06/msg00086.html
>
> Im pleased that the Hyperbola community has been making strides.
>
> Hopefully I can one day have an OpenBSD kernel overseeing Guix SD.
>
>
> Kind regards,
>
>
> Jonathan McHugh

Looks like the most relevant bit to my question was here:
https://lists.gnu.org/archive/html/help-guix/2021-06/msg00078.html

The real problem will not be the languages (guile or C++), but the
system calls used by Guix.

Guix makes use of some recent (less than 2 decades) and somewhat
advanced features of the Linux kernel, such as namespaces.

To port Guix to another operating system such as BSD (including OSX),
one would have to translate these calls.

For example, Guix is the only software I've actually encountered that
can not run in SmartOS' emulation of Linux, because the system calls it
uses are not implemented there.

I would love for Guix to be a Multi Kernel package manager (I mean it
works on the Hurd also, but I have never encountered a Hurd user in real
life). My dream would be to port Guix to Plan 9 ;-)

Could Guix System eventually run on top of HyperbolaBSD ? slightly off topic

[Joshua Branson]

Sorry for starting this centuries flame war, but I can't help but be
more and more impressed with OpenBSD.  It seems ideal for small scale
servers (aka NOT large databases).  It tries really hard to be secure by
default and has great documentation.  With OpenBSD it is easy to set up
a static website (httpd) and your own email server (openSMTPD, spamd,
and pf).

I would argue that the average user will find OpenBSD to be easier to
secure than the Linux kernel.  

The Hyperbola GNU/Linux team recently announced that they would ditch
Linux for OpenBSD. They are using the OpenBSD kernel and the OpenBSD
userland. And they are GPL-ing all of the code. It sounds like they will
have to replace 20% of said code.

https://www.hyperbola.info/

Though the website currently says "Donate to keep the project alive".
So that's not super reassuring...

Anyway, assuming that the HyperbolaBSD team accomplishes their goals,
would Guix System or Guix ever be able to run on HyperbolaBSD? I know
that Guix System ties itself to glibc. HyperbolaBSD does NOT use glibc
and probably never will. Would it be feasible/desireable for Guix & Guix
System to support a BSD kernel and alternative libc?  What about other
OSes?

Thanks,

Joshua

P.S.  I just recently came accross this guide for getting started with
OpenBSD on servers: http://si3t.ch/ah/en/toc/  I am really impressed
with how easy/awesome OpenBSD is.

[no subject]

[Joshua Branson]

It would be a great idea to update guix's ROADMAP before this conference takes 
place. 
Here are some of my thoughts about what features ought to be in Guix 2.0 as 
well as adding 
a vision to the ROADMAP file.  Please note that these changes are very rough 
draft.

>From 0374cfa5cb7f9072092c190d9d36dc2cda07fe29 Mon Sep 17 00:00:00 2001
From: Joshua Branson 
Date: Fri, 15 Apr 2022 09:45:49 -0400
Subject: [PATCH] * ROADMAP: added a vision and included some features for guix
 2.0

---
 ROADMAP | 11 +++
 1 file changed, 11 insertions(+)

diff --git a/ROADMAP b/ROADMAP
index 2475cb637c..61cc99566f 100644
--- a/ROADMAP
+++ b/ROADMAP
@@ -8,6 +8,12 @@ Copyright ?? 2012, 2013, 2014, 2015 Ludovic Court??s 

   are permitted in any medium without royalty provided the copyright
   notice and this notice are preserved.
 
+The vision of the GNU Guix project is to replace proprietary software with
+freedom respecting software.  We hope to create a general purpose and
+extensible operating system that works well accross embedded environments to
+extremely powerful server setups.  When this vision is complete (it may never
+be complete, that's why it is a vision!) all software will be free software.
+
 The goals of the GNU Guix project are two-fold:
 
   - to build a purely functional package manager, based on Nix and
@@ -54,6 +60,11 @@ Freenode!
 + guile-ncurses installer?
   - 'guix publish'?
 
+* Features scheduled for 2.0
+- technical Guix System users can for GNU/Hurd Guix System on real hardware.
+- Guix System installer supports guix home
+- graphical (possibly gtk-based) front-end to guix cli
+
 * Features for later
 
   - complete GNU/Hurd port
-- 
2.34.0

Thank you for your friendship Raghav Gururajan

[Joshua Branson]

Hey Raghav,


I appreciated your Merry Christmas text, the many packages that you have 
added for Guix.   I've actually been a pretty happy linphone user for a 
while now!  I truly appreciate the work that you do for Guix in the 
whereiseveryone community.  I hope that I can find time to actually join 
you guys for your community stuff.



Wishing you well and your friend,

Joshua

143

working on an opensmtpd service using guix records

[Joshua Branson]

Hey guix,

I have been working on extending the current opensmtpd service using
guix records.  The code is here:

https://notabug.org/jbranso/linode-guix-system-configuration/src/master/opensmtpd-records.scm

It's pretty work in progress.  I'm not using it on my guix server yet.

Incomplete documentation and my various thoughts about the service are
here:

https://notabug.org/jbranso/linode-guix-system-configuration/src/master/opensmtpd.org

Some videos of me coding it are here:

https://video.hardlimit.com/my-library/video-playlists/53cd06a9-fcb6-40f1-a136-dba18d237b1b

Consider this a public service annoucement.  If someone else is
already working on this, then let's do it together!

Thanks,

Joshua

Re: Public guix offload server

[Joshua Branson]

Leo Famulari  writes:

> On Thu, Oct 21, 2021 at 02:23:49AM +0530, Arun Isaac wrote:
>> WDYT? How does everyone else handle big builds? Do you have access to
>> powerful workstations?
>
> Now I have access to a very powerful system on which I can test builds.
>
> I agree that the Guix project should offer some powerful compute
> resources to Guix developers. Efficiency is important for staying
> motivated.

I've got an old Dell Optiplex 7020 with 30 gigs of RAM with a 3TB
hard-drive just sitting around.  My landlord and ISP is ok with me
running a server.  I just set everything up.  Would this be
powerful/interesting to some?

-- 
Joshua Branson (jab in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar
  

Re: Incentives for review

[Joshua Branson]

Ricardo Wurmus  writes:

> Ludovic Courtès  writes:
>
>> A good middle ground may be to provide incentives for review. How?
>> I’m
>> not sure exactly, but first by making it clear that review is makes
>> the
>> project move forward and is invaluable.  You once proposed having
>> ‘Reviewed-By’ tags to acknowledge non-committer reviews, and I think
>> that would be one step in that direction.  Perhaps there are other
>> things we could do?
>
> I was thinking in the opposite direction: not incentives to recognize
> reviewers but a closer relationship to the patch submitters,
> i.e. “patch buddies” or mentorship.  If I made myself officially
> responsible for reviewing commits by Simon and all commits touching R
> then I’m more likely to actually do the review for these patches.
>
> Reviews done by people who are not committers could also be
> acknowledged, of course, but applying the patch (sometimes 
> manually because of conflicts) is still manual work that can feel like
> a chore if the committer doesn’t feel a connection to the patch or the
> person who submitted it.

If you're looking for an occassional guix contributor friend to
mentor...I'll gladly volunteer!  :)

-- 
Joshua Branson (jab in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar
  

Re: Code sharing between system and home services (was Re: On the naming of System and Home services modules.)

[Joshua Branson]

Xinglu Chen  writes:

> On Thu, Sep 23 2021, Ludovic Courtès wrote:
>
>> Hi,
>>
>> Xinglu Chen  skribis:
>>
>>> Some services might be useful to have in both Guix System and Guix Home;
>>> for instance, Guix System currently has a service for configuring
>>> Syncthing, and I think it makes sense to also have one for Guix Home,
>>> this would mean that people not using Guix System (me :-)) could also
>>> have Guix manage Syncthing.  With the current approach, we would have to
>>> copy and paste quite a bit of code, and if the Syncthing service for
>>> Guix System changes, then the one for Guix Home might have to change as
>>> well.
>>
>> Silly question, but why do we need to have two different configuration
>> record types in the first place?
>
> The problem is that the configuration records for system and home
> service don’t necessarily have the same fields.  The Syncthing service
> for Guix System has a ‘user’ and a ‘group’ field, which is not really of
> any use in Guix Home, as the only user would be the user invoking ‘guix
> home’.

Apologies if I'm speaking for something I know very little
about...Wouldn't it be nice if guix home services would accept a user
and a group field?  For the syncthing service, perhaps the user wants to
limit Syncthing's runtime permissions.  So instead of running as the
user, the user would run synthing as a different user with less permissions?

Please note it may be much better to just container-ize the synthing
service.  Does guix home have that ability?

https://guix.gnu.org/en/blog/2017/running-system-services-in-containers/

>
>> Sharing configuration between Home and System sounds important to me: it
>> means users can easily move services from one to the other, which is
>> pretty big deal.  It also means we’d have much less code to maintain.
>
> Agreed, that’s what I would like to see as well.
>
>> Would that be feasible?  (Apologies if this has already been
>> discussed!)
>
> Since it might not make sense to have the same records fields for a
> system service and home service, I proposed (in the mail you replied to)
> a ‘define-configuration’ form that would generate a configuration record
> for a system service and optionally one for a home service, without
> having to maintain two records separately.
>
> (define-configuration syncthing-configuration
>   (package
>(package syncthing)
>"Syncthing package to use.")
>   (arguments
>(list-of-strings ’())
>"Command line arguments to pass to the Syncthing package.")
>   (log-flags
>(integer 0)
>"Sum of logging flags.")
>   (user
>(maybe-string 'disabled)
>"The user as which the Syncthing service is to be run."
>(home-service? #f))  ; not for Guix Home
>   (group
>(string "users")
>"The group as which the Syncthing service is to be run."
>(home-service? #f))  ; likewise ^^
>   (home
>(maybe-string 'disabled)
>"Common configuration and data directory.")
>   (home-service? #t))
>
> It would generate  and
> .  The only difference being that
>  doesn’t have a ‘user’ and a ‘group’
> field.
>
> It’s probably going to be quite complicated, so it would be good to get
> some feedback/thoughts on it.  Cc Maxim since he has done some work with
> (gnu services configuration).
>
> Also, it’s probably time to properly document (gnu services
> configuration) in the manual.  ;-)
>
>> Also, I proposed earlier a possible way to generate a Home service type
>> from the corresponding System service type—or, IOW, to generate a Home
>> service type graph from the System graph.  Does that sound feasible?
>
> I am not sure exactly what you mean here, could you elaborate?
>

-- 
Joshua Branson (jab in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar
  

Re: IT jobs in Switzerland OFF TOPIC JOKE

[Joshua Branson]

Gábor Boskovits  writes:

> Hello guix,
>
> The firm where I am working now is hiring.
>
> Location: Zug, Switzerland. People willing to work in office will be 
> preferred. The firm helps with relocation if needed.
>
> Profile: HFT crypto startup
>
> Codebase: c++, python
> Tooling: k8s, gitlab

I'm an expert ping pong player, and master mattress tester.  You may
have heard of me.  I should warn you...I am expensive to hire.  :)

>
> Positions: quantitative trader, quantitative researcher, c++ developer, devops
>
> Experience with AWS is a plus.
>
> If someone is willing to give this a try, please come back to me and I can 
> provide more details.
>
> Regards,
> g_bor
>

P.S.  I'm just kidding this job description is a little beyong me, but
best of luck recruiting talented people!

-- 
Joshua Branson (jab in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar
  

Re: [PATCH] Shepherd: Add respawn-limit paramter to service class.

[Joshua Branson]

Ryan Sundberg  writes:

> Hello Guix devs,
>
> This patch to GNU Shepherd removes the hard-coded respawn limit and
> makes it a configurable option.
> The respawn limit works generally the same way as before, allowing N
> respawns in M seconds:

You typically want to send patches to guix-patc...@gnu.org.  :)

>
> #:respawn-limit '(N . M)
>
> We can disable respawns by setting N to 0, which will abort the service
> after the first crash. Likewise, we can always respawn by setting
>
> #:respawn-limit #f
>
> Sincerely,
> Ryan Sundberg
>
>

-- 
Joshua Branson (jab in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar
  

I just got my pinephone.

[Joshua Branson]

Hey Guix!

I just got my phinephone.  It's currently running postmarketOS (1).  I
usually work nights two nights a week 10pm-6am (EST) Sunday night and
Monday night.  If a guix developer would like ssh access to it during
those times, then please let me know.  If I should use Mobian instead
to help port guix to it, then I would be willing to switch. 

I'd be happy to help out!  Also jmp.chat (2) works really well with
chatty.

Thanks,

Joshua

1) https://postmarketos.org/source-code/

2) https://jmp.chat

Libre GPU/VPU/SOC updates/OFF TOPIC

[Joshua Branson]

Hey Guix people!

Do you remember those libre hardware SOC EOMA68 computing devices?

https://www.crowdsupply.com/eoma68/micro-desktop

It was a system-on-a-chip, that had 1 GB ram that you put in your laptop
or desktop housing.  You could then upgrade to the new SOC for $50.
That's game changing in an industry that revolves around you buying a
new laptop computer every 5 years.

Anyway, Luke is working now working a Libre GPU/SOC:

https://www.crowdsupply.com/libre-risc-v/m-class

(this site is more up to date).
https://libre-soc.org/3d_gpu/

>From the above site:

#+BEGIN_SRC org
Note: this is a hybrid CPU, VPU and GPU. It is not, as
many news articles are implying, a "dedicated exclusive GPU". The option
exists to create a stand-alone GPU product (contact us if this is a
product that you want). Our primary goal is to design a complete
all-in-one processor (System-on-a-Chip) that happens to include
libre-licensed VPU and GPU accelerated instructions as part of the
actual - main - CPU itself. This greatly simplifies driver development,
applications integration and debugging, reducing costs and time to
market in the process.
#+END_SRC

I did interview (1) Luke a few days ago, and he mentioned that they are
going to be spending $20,000 USD to make some FPGA prototypes.  I did
request that he donate one to some Guix developers.  :D The current SOC
is using IMB's Power ISA, and Luke does need some help in designing the
hardware.  NLnet is providing some funding.

Luke's mailing list is available here:

http://lists.phcomp.co.uk/mailman/listinfo/arm-netbook

Luke's latest mailing list mentioned that NLnet does provide funding for
some of these projects, but there is a time limit.

#+BEGIN_SRC org
well i urgently need people to help out.

there is a time limit on the NLnet funding.
#+END_SRC


1)  
https://video.hardlimit.com/videos/watch/playlist/41587906-bec9-4bae-801a-b8a4c91960ce?playlistPosition=3=true
The video is also available via the other dominant proprietary video platform...

Apologies if this is too off topic.

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Early feedback on Guix Home and a basic almost complete sway service

[Joshua Branson]

Thanks for the help in my home.scm file by the way!  I figured since you
guys are writing a sway service, I'd share with you my current code for
a sway service.  I think I've got the records type flushed out enough to
build the default sway config file, but I have not finished turning it
into a proper service.  Anyway, here's the code if you are interested:

https://notabug.org/jbranso/guix-config/src/master/sway-service.scm

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Early feedback on Guix Home

[Joshua Branson]

Andrew Tropin  writes:

> jbra...@dismail.de writes:
>> $ guix pull
>>
>> I suppose for now I will use Ludo's suggestion:
>>
>>   git clone https://git.sr.ht/~abcdw/rde
>>   guix git authenticate \
>> "257cebd587b66e4d865b3537a9a88cccd7107c95" \
>> "2841 9AC6 5038 7440 C7E9  2FFA 2208 D209 58C1 DEB0" \
>> -k origin/keyring
>>   ./pre-inst-env guix home reconfigure /path/to/home-config.scm
>>
>> Failed to execute process './pre-inst-env'. Reason:
>> exec: Exec format error
>> The file './pre-inst-env' is marked as an executable but could not be run by 
>> the operating system.
>
> It should work if you have a POSIX-compatible shell, but I also added
> shebang to be sure that /bin/sh used.  Do git pull inside repository dir
> and try again.  `./pre-inst-env guix home --help`
>
> Let me know if it still fails.

Totally works now.  I was using the fish shell...and I don't believe
the fish shell is a POSIX compatible shell.  :) Works fine in bash.

Also thanks for the tips in my initial config!

And I really like the home-keyboard-service-type,
home-files-service-type, and home-state-service-type!  I've got a lot of
git repos.  It takes me forever to clone those.  Do you know if
home-state-service type will help me to automate something like

Git repo "programming" goes here:  /home/joshua/prog/

and git repo "cheatsheets" goes here: /home/joshua/prog/cheatsheets/

and git repo "guix-config" goes here: /home/joshua/prog/gnu/guix/guix-config/

and git repo "guix-src" goes here: /home/joshua/prog/gnu/guix/guix-src/

and git repo "guile" goes here: /home/joshua/prog/guile/

and git repr "gnucode.me" goes here: /home/joshua/prog/guile/gnucode.me


I don't that you are curious, but if you are my git repos are on
notabug.org/jbranso.

Thanks!  And thanks so much for working on this!  And thanks to Ludo for
testing it!

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Substitutes from bordeaux.guix.gnu.org

[Joshua Branson]

Ludovic Courtès  writes:

> Hi!
>
> Tobias Geerinckx-Rice  skribis:
>
>> Christopher Baines 写道：
>>> Would trying to acquire a 2U rack mount server, and host it in a
>>> proper
>>> data centre be feasible? Because of both electricity usage and heat
>>> generation, it's going to be more difficult to host residentially I
>>> think.
>>
>> I thought Bayfront was hosted here[0], but we still pay €75 instead of
>> the €100 mentioned.  Perhaps Andreas has an understanding with them or
>> was grandfathered in?
>
> Yes, we could do the same.
>
> Does anyone have cheaper (or gratis? :-)) hosting options in mind?

Apologies if this is a silly/slighty off topic idea, but I thought I
would at least mention it...

I just bought a $250 refurbished Dell Optiplex 7020.  30 GB Ram. (Intel
says max Ram is 16GB...the RAM upgrader (crucial) says max ram is 30GB).
3 TB HDD.  4th generation Intel CPU.

I'm planning on having a simple server at home.  My ISP will let me run
my own server.  I'm not certain how good my internet connection will be,
but I would be interested in hosting a substitute server, though I would
guess that very quickly the cost of hosting it would get pretty
expensive...Just a thought.  A $250 desktop machine is fairly
inexpensive.  :)

Also, I just heard from Luke Leighton (from E0MA68 and the upcoming
libreGPU), that you could buy a raptor computer with 1TB of RAM for
about $40,000.  :)

>
> Ludo’.
>

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: problem with ruby-taskjuggler packaging and timezone

[Joshua Branson]

Giovanni Biscuolo  writes:

> Hi Guix!
>
> I'm packaging ruby-taskjuggler (I'll provide a patch series as soon as I
> get to fix this bug), this is the package definition:

Hey Giovanni!  I invite you to send this email to guix-patc...@gnu.org
as well!  That way we can create an issue number in the bug tracker!
And not lose this important contribution!

Thanks again!

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Feedback on a new simple firewall service OFF TOPIC PRAISE

[Joshua Branson]

Solene Rapenne  writes:

> Hello,
>
> I'm looking for advices and feedback. I wrote a simple service (reusing
> the iptables service as a start) that I called "firewall", the purpose

maybe eventually it could use nftables, which is the better newer version.

> is to block all incoming ports and list the ports you want to allow.
> The point is to allow users to easily manage their firewall without
> knowing about to use iptables. Most of the time opening a few ports and
> blocking everything is enough.

YES!  SWEET, ICY COLD, HOLY ALASKAN ASPARAGUS TIPS! THIS IS AWESOME!
How cool is it to abstract away the details for a firewall!?  Man I've
tried learning iptables, and it is just very weird syntax and hard to
understand!  Thanks for working on this!

I invite you to forward your original email to guix-patc...@gnu.org.
That way you open a specific issue and your code is assigned a bug
number!

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Substitutes from bordeaux.guix.gnu.org

[Joshua Branson]

Christopher Baines  writes:

> Hey,
>
> While I've been working on the software side of building things for
> substitutes through the Guix Build Coordinator for over a year now [1],
> I've only been personally pushing to bring the benefits to Guix users by
> default for the last few weeks [2].
>
> 1: https://lists.gnu.org/archive/html/guix-devel/2020-04/msg00323.html
> 2: https://lists.gnu.org/archive/html/guix-devel/2021-05/msg00020.html
>
> The strategy that currently seems most feasible is to add an additional
> default source of substitutes: bordeaux.guix.gnu.org.
>
> I think things are pretty much ready, you can find some information at
> https://bordeaux.guix.gnu.org/ . If you're up for trying out fetching
> substitutes from bordeaux.guix.gnu.org, now is a good time to do so, and
> please report back in terms of how it's working out for you.

For those of you like me, who have trouble setting up the signing key,
here is a snippet that you can use to set up substitutes from 
bordeaux.guix.gnu.org:


#BEGIN_SRC scheme
(define %my-desktop-services
  (modify-services
  %desktop-services
(guix-service-type
 config =>
 (guix-configuration
  (inherit config)
  (substitute-urls
   (append (list "https://bordeaux.guix.gnu.org/;)
   %default-substitute-urls))
  (authorized-keys
   (append
(list
 (plain-file
 "bordeaux.guix.gnu.org.signing.key"
 "
(public-key
 (ecc
  (curve Ed25519)
  (q #7D602902D3A2DBB83F8A0FB98602A754C5493B0B778C8D1DD4E0F41DE14DE34F#)
  )
 )"))
%default-authorized-guix-keys))


(operating-system
...
(services (append (list (service dhcp-client-service-type)
(service openssh-service-type
 (openssh-configuration
  (openssh openssh-sans-x)
  (port-number 
  %my-desktop-services)))

#+END_SRC

P.S.  Thanks to Christopher for helping me set this up in irc!

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Idea: a meta language for (language) build systems - npm, Racket, Rust cargo

[Joshua Branson]

Konrad Hinsen  writes:

> Hi Pjotr,
>
>
> The next message to get across is the need for cross-language build
> systems. The idea of one language, one platform doesn't work any more.
> Real software systems need to mix languages, even runtimes. And it's not
> just X + C any more either. Again, Guix serves as the proof of concept,
> even for people who dislike some specific implementation aspect of Guix.

Thinking about "cross-language build systems" reminds me of Zig cc

https://andrewkelley.me/post/zig-cc-powerful-drop-in-replacement-gcc-clang.html

#+BEGIN SRC sh
andy@ark ~/tmp> cat hello.c
#include 

int main(int argc, char **argv) {
fprintf(stderr, "Hello, World!\n");
return 0;
}

andy@ark ~/tmp> zig cc -o hello.exe hello.c -target x86_64-windows-gnu
andy@ark ~/tmp> wine64 hello.exe
Hello, World!
andy@ark ~/tmp> zig cc -o hello hello.c -target mipsel-linux-musl
andy@ark ~/tmp> qemu-mipsel ./hello
Hello, World!
andy@ark ~/tmp> zig cc -o hello hello.c -target aarch64-linux-gnu
andy@ark ~/tmp> qemu-aarch64 -L 
~/Downloads/glibc/multi-2.31/install/glibcs/aarch64-linux-gnu ./hello
Hello, World!
#+END_SRC


I think that's pretty cool!

>
> Cheers,
>   Konrad.
>

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Rust freedom issue claim

[Joshua Branson]

Pjotr Prins  writes:

> On Wed, May 26, 2021 at 04:32:03PM +0200, Ludovic Courtès wrote:
>> That’s a somewhat different topic.  FWIW, I’m both excited at the idea
>> of having a memory-safe replacement for C gaining momentum, and
>> frightened by the prospects of Rust being this replacement, for many
>> reasons including: Rust does not have a good bootstrapping story, as we
>> know all too well, Cargo encourages sloppy package distribution à la
>> npm, Rust in the kernel would give a false sense of safety (it’s still
>> that big monolithic blob!), and the Rust community is very much
>> anti-copyleft.
>
> Having adopted Rust for some of our bioinformatics work, I can fully
> agree. It is actually hard to use Rust without Cargo and it is an
> implosion npm-style waiting to happen if the most trivial program
> already imports 100+ external packages - some of doubtful quality.
>
> Another thing I have against Rust is its syntax - but that is
> (arguably) taste. I can't believe references are written with an
> ampersand - and they are so common it is in your face all the time.
> That is just noise. And sometimes the borrow checker really gets in
> the way (and I pine for GC). We are sticking with Rust though because
> the compiler works hard and is a sucker for detail, so it helps both
> less and more experienced programmers to avoid C/C++ traps. Also Rust
> has no OOP that people can use - I am very happy about that. In short
> it is a fairly pragmatic FP language with some nice compile time
> features. I don't love it but it is an OK compromise.

In terms of languages trying to be replacements for C:

- Zig is one of the most famous ones, and will probably be the first C
  alternatives to reach 1.0.  https://ziglang.org/

- Odin https://odin-lang.org/

- scopes which using S-expressions  https://sr.ht/~duangle/scopes/

- Drew Devault's (creator or sway) secret programming language.  It may
  be the second language on this list to reach 1.0

>
> For kernels I completely agree with you. Memory safety is a red
> herring because we face much deeper problems. Open hardware and
> message passing is the way forward.
>
> Oh, did you know Rust expands all sources into one 'blob' for
> compilation? At the crate level. It led to the meme: "The Rust
> programming language compiles fast software slowly."
>
> I have not hit real issues yet with compilation speed, but it feels
> like we regressed to huge C++ template expansion...
>
>> Guix, related projects such as Mes, Gash, and the Shepherd, together
>> with the Hurd, offer a very different and (to me) more appealing vision
>> for a user-empowering, safer, more robust, and yet POSIX-compliant OS.
>
> Good architecture is far more important than a borrow checker.
>
> Pj.
>

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: What’s next?

[Joshua Branson]

Some other cool thoughts:

Package the PHP bits of wordpress.  Then create a wordpress theme that
uses either no or bootstrapable (reproducible?) javascript.  Wordpress
writes some really minimal simple wordpress themes that have minimal
javascript that could be used as a start.  I think there might be a way
that one could then use Emacs to make a really simple blog.  And we
could have a really simple WordPress service.

Or just go crazy a create a competitor to wordpress in GNU guile or
racket.

Package the PHP bits of mediagoblin.  I think this is already done in
one of the WIP branches.  Then create a front-end of media goblin that
uses no or minimal amount bootstrapable (reproducible?) javascript.

One of the guix developers has a WIP git repo web viewer.  And it looks
amazing!  He's got some of his guile code on there. I think it would be
really awesome if savannah's guix git repos could point to that for the
guix repos.  Then we (who am I kidding you, I'm not a developer...yet)
could somehow combine bugs.guix.gnu.org with that guile git repo web
viewer.  The eventual goal could be to create a competitor to sourcehut!

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: What’s next?

[Joshua Branson]

Leo Famulari  writes:

> On Sun, May 16, 2021 at 06:26:57PM +0200, Svante Signell wrote:
>> What about Hurd?
>
> I think the answer will be: what about it? :)
>
> We always welcome Hurd-related work here in Guix.
>

I suppose someone should fix the Hurd vulnerabilities as reported here:

https://lists.gnu.org/archive/html/bug-hurd/2021-05/msg00079.html

I don't think the vulnerabilities have been disclosed yet nor has there
been a fix yet.

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: What’s next?

[Joshua Branson]

Finally finish my endlessh service.

There's a version that works here:  http://issues.guix.gnu.org/39136

But it runs as root and IS NOT containerized.


P.S.  Also there were some really great suggestions in the previous
emails!

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

FYI: guile-scheme bindings to GNU Mach and the Hurd

[Joshua Branson]

Hey guix people,

I just ran across a pretty recent thread in bug-hurd land.  Apparently
there is a VERY WIP effort to get some guile-scheme bindings for GNU
Mach and the Hurd.

Since it might be of interest to guixy people, I thought I'd share:

https://notabug.org/mdevos/guile-hurd

Cheers!

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Leaving the GNU Guix community

[Joshua Branson]

Tobias Geerinckx-Rice  writes:

> Léo,
>
> Leo Le Bouter 写道：
>> I feel like what has happened is really a disaster,
>
> I'm relieved that we share, at least, this.  I think everyone does.
>
>> I don't feel like contributing to GNU Guix anymore in the future.
>
> That's a great pity.  I hope to welcome you back some day.  Guix is
> better off with your fixes.
>
> Yet I'm convinced that the decision to suspend commit access was the
> right one.  It wasn't easy.  Nobody was happy about it.

May I humbly suggest, that in the future if guix
maintainers/developers/super-humans suspend someone's commit
access, this "punishment"/"education" happens privately?  Perhaps this
"education" should not be announced on guix-devel.  Instead it should
only be sent privately to the developer in question.  Perhaps that would
lessen the sting.

Thanks!

Joshua

P.S.  I'm definitely NOT a guix developer (maybe some day), but I hope
it's ok that I share my thoughts.  :)


--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Criticisms of my "tone" (was Re: A "cosmetic changes" commit that removes security fixes)

[Joshua Branson]

rnal bronze and hung in every home and school, every shop and
  office in the land--words that children ought to memorize instead of
  wasting their time memorizing the conjugation of latin verbs or the
  amount of the annual rainfall in Brazil-- words that will all but
  transform your life and mine if we will only live by them:

  'I consider my ability to arouse enthusiasm among my people, said
  Schwab, 'the greastest asset I possess, and the way to develop the
  best that is in a person is by appreciation and encouragement.'
  'There is nothing else that so kills the ambitions of a person as
  criticisms from superiors. I never criticize anyone.  I believe in
  giving a person incentive to work.  So I am anxious to praise but
  loath to find fault.  If I like anything, I am hearty in my
  approbation and lavish in my praise.'

  If you'll let me brag a little...I actually put Mr. Schwab's principle
  to the test.  I made a mailing list post on guix-devel entitled "Thank
  you for your leadership Ludo."  It was quite a thrill to have a
  pleasant public chat with Ludo:
  https://lists.gnu.org/archive/html/guix-devel/2020-04/msg00021.html To
  see Ludo suggest that I may influence him was a real joy.  Who am I to
  suggest anything to Ludo about guix?  Am I a genius?  No.  Frequent
  guix developer?  No.  I just happen to be lavish in my praise.


  I hope the above novel was worth the read.  :) I really think you are
  a fantastic, brilliant, and crucial part of guix's development team
  Mark.  And I hope the above encouraged you!

  Your friend!

  143*,

  Joshua

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

  143* is Mr. Rogers secret way of saving "I love you."  Because there
  is 1 letter in "I", four letters in "love", and three letters in "you".

Meta Guix: why guix is awesome!

[Joshua Branson]

Hello guix developers!

Guix is brilliantly fantastic!  I thought I would write down some of the
things that make guix such a great community and a powerful free
software tool.  I intend this email to encourage guix developers and
perhaps encourage other free software projects to copy guix's success.

1. It encourages non-english speaking participation.  Guix's manual is
   a work of art that has been translated into a few languages:
   German, Spanish, French, Russian, and Chinese?  Honestly my font in
   my browser can't read the last translation...but I think it's
   Mandorin (spelling?)  Anyway, guix has a strong push to NOT be an
   American only project.  It also has some email lists for
   non-english speakers.  That is awesome!  I had never thought about
   non-English mailing lists, but there certainly are non-english
   speakers that would love to get help.  Also the website is
   available many languages.

2. Guix's leadership is non-political.  I recall on the mailing list
   an issue raised about freedom of speech concerns.  Many emotion
   emails went back and forth over this issue with guix developers
   expressing a variety of opinions.  I actually felt encouraged that
   Ludo did NOT say anything in this email exchange.  That signaled to
   me that Ludo doesn't care what your political views are.  Anyone
   and everyone is free to contribute to guix regardless of what you
   believe!

3. It has great marketing.  I think this really ought to be stressed a
   lot!  Guix has numerous blog posts that demonstrate that the
   project is alive.  And they are really well written.  And engaging!
   I absolutely love guix's blog!  And the website is hip!  And it's
   got great artwork!

4.  Some people work full time on guix (and get paid).  There are a
   few guix developers who develop A LOT for guix.  I think the main
   source of income for several prominent guix developers is from
   cluster deployments as seen here: https://hpc.guix.info/about/ Also
   some developers get grants to work for guix as well.  This is a
   personal view, but I do believe that free software ought to somehow
   pay some developers.  That's how they can continue to develop the
   software.

5.  Guix's leadership lets the best idea win.  I personally think
   Ludo's last line on his email is genius: "Thoughts?".  It's a great
   idea to solicit feedback, and I believe that Ludo genuinely wants
   your thought and opinions.

6.  Guix has big goals!  What is org-mode?  Emacs?  Guix?  The
   GNU/Hurd?  All of these projects are sometimes hard to define.
   There are so many things that you can do with guix!  Declarable
   operating system.  Bootstrapped distro.  Portable distro.  Server
   manager.  Soon maybe a guix home manager. This maybe violates the
   unix philosophy of small programs that do things well, but perhaps
   because guix dreams big it can dare crazy things!

7.  Guix is NOT linux development!  Guix encourages newbie developers
   by sometimes fixing their really AWFUL code (or documentation).
   AND NOT being angry at those trivial errors.  For example, some of
   my documentation "fixes" were me pointing out an tiny issue with
   the manual.  Then I sent a diff that didn't work.  And someone else
   submitted a patch on my behalf that did my suggestion.  It's nice
   to know that you won't be needlessly insulted while contributing to
   guix.  A great example of this can be found in the irc log.  I
   recall one such instance of a newbie asking about a silly
   bug/feature.  In a moment of frustration I thought about saying
   something rude (I did not say it).  Ludo actually responded to the
   question with something like, "That's a great point.  Why don't you
   open a bug report here, so that we can properly discuss it?"  That
   was very kind/smart!

Thoughts?

Joshua

P.S.  If this email is not really suited here, please let me know.  I
know I've sent a few emails to guix devel that may not have been
suitable.  Please let me know if that is the case.  :)

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Feature request: Installatuon image for aarch64

[Joshua Branson]

Vitaliy Shatrov  writes:

> I wish either a rootfs, or an installation.iso. Last year i failed to make 
> one for myself, and used Armbian to install Guix System.

I believe that installing guix on arm is a little tricky at the
moment...  I think it is possible...Try asking for some help in #guix
irc.  Best of luck!

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Please help reviewing CVE entries

[Joshua Branson]

rg/cgit/guix.git/commit/?id=52c8d07a4f7033534a71ac7efeec21a65d35c125
>
> If you feel like you will get things wrong when backporting some patch
> because you don't know the language enough or else then ask for help
> and people will help with backporting ASAP. If backporting is too hard
> and nobody can do it but fixing that particular security issue is
> important because of the severity, then we have to negotiate cutting
> corners with the rest of the GNU Guix community, for example recently
> syncthing package: https://issues.guix.gnu.org/47627 - upgrade was
> blocked because unvendoring was difficult on newer versions, seeing a
> CVE it can be considered acceptable to not unvendor and leave things
> vendored and build as-is until we can unvendor/unbundle properly later.
>
> If the package has less than 300 dependents then you can just upgrade
> that package and submit a patch on the bug you opened earlier, if you
> are a committer and that update patch is rather trivial and everything
> builds and some of the dependents too then you can probably push as-is
> without additional review to fix the security issue in GNU Guix ASAP.
>
> You can try to use: './pre-inst-env guix refresh -u pkg_name' to
> automagically update the package, then use the 'etc/committer.scm'
> script to generate commits then amend them with specific security fixes
> markings.
>
> About commit messages, what I've been doing until now is:
>
> If the update fixes a single CVE entry and I am certain of that, append
> in the title before the last period:
>
> [fixes CVE-2020-1234]
>
> If the update fixes multiple CVE entries and I know the full list of 
> such CVE entries, append in the title before the last period:
>
> [security fixes]
>
> Then in the commit message body just below the title:
>
> Fixes CVE-2020-1234, CVE-2020-1235 and CVE-2020-1236.
>
> If I am not certain I have the full list, I use:
>
> Fixes at least CVE-2020-1234, CVE-2020-1235 and CVE-2020-1236.
>
> If I don't know the list at all or it's too time-consuming to obtain
> the list I don't specify it at all and only specify '[security fixes]'
> in the commit message title.
>
> See for examples:
>
> https://git.savannah.gnu.org/cgit/guix.git/log/?qt=grep=security
> https://git.savannah.gnu.org/cgit/guix.git/log/?qt=grep=CVE
>
> Please help!
>
> Thank you!
>

-- 
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar
  

Re: Where to find dmesg and /etc contents of specific system generation?

[Joshua Branson]

Vladilen Kozin  writes:

> Hi guix.
>
> Is it possible and where could I find contents of /etc for a specific
> system generation. Ditto dmesg of the last boot of specific
> generation? Not necessarily current generation though.

Hmmm.  I suppose you could try to make a guix system vm with that
configuration, and try to fire up the vm and see what happens...I'm not
certain how helpful that would be though.

>
> In a nutshell: I have a generation that boots and works fine, but
> sadly I also have a generation that fails to boot. I'd like to debug
> the issue by looking at its dmesg as far as it had gotten and also
> checking its /etc/fstab and such seeing how the problem appears to be
> mount related.

I think guix may support connecting to a serial console, though I've
never tried it.

You're trying to run a server right?  How complicated is your config?

-- 
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar
  

Re: Meta guix: making money with GNU Guix: slightly off topic

[Joshua Branson]

ilmu  writes:

> Hi guys,
>
> A bit crazy maybe but how about we completely redefine what money is?

Sure, why not?  That's what guix is all about.  Let's dare new things!

>
> I wrote "this" (the attachment or http://datalisp.is) over the weekend
> (in one sitting! very raw, sorry if it's hard to understand, feel free
> to ask me any questions).

Raw?  perhaps.  Attention grabbing introduction?  YES!

>
> Actually from seeing this:
>
>> Joshua Branson (joshuaBPMan in #guix)
>> Sent from Emacs and Gnus
>> https://gnucode.me
>> https://video.hardlimit.com/accounts/joshua_branson/video-channels
>> https://propernaming.org
>> "You can have whatever you want, as long as you help
>> enough other people get what they want." - Zig Ziglar
>
> It looks like you basically have the right idea about the economics,
> the paper describes something similar (get paid by helping others find
> the proper names for things).

That's what Earl Nightinggale said too!  Something like "Money going
into your wallet is directly proportional to your service or
contribution."

>
> The document basically explains how to make a "cryptocurrency" that uses 
> something like "automated science" as proof of work.
>
> Please leave preconceived notions at the door, this is not like any
> other cryptocurrency you are familiar with and the bit about automatic
> science is also slightly inaccurate, really it is hard to classify
> this idea (if it even works).
>
> However! I have access to funding and some other people and this pdf
> serves as a general overview for this (admittedly very ambitious)
> project. The first step (that I have in mind) is to make an education
> startup that teaches programming to children and teenagers, by using
> the ideas in the paper this can be automated and the network
> self-perpetuating.

I honestly have a hard time grasping the concepts you present.  My good
friend happens to be a retired CEO of several global companies.  He's
got an engineering mind.  I'll show him the paper and see if he
understands it!  :)  My jabber ID is the same as my email address.  Feel
free to communicate with me directly that way!

>
> I am also very interested in making a "nixos-infect" type thing for Guix and 
> asked about that in the past on the mailing lists.

Yes please!

>
> Let me know how you decide to proceed, I'm sure we can cooperate.
>
> Kind regards,
> - Ilmu
>

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Initiating Guix System on Foriegn Distro

[Joshua Branson]

Katarina Rostova  writes:

> Hi,
>
> I was wondering if I can do `guix system init` with guix installed on top off 
> a foreign distro?
>
> Katarina.

Hey Katarina!  You've got a great first name!

Actually I think you can do 'guix system reconfigure config.scm' on top
of a foreign distro.  That's how some people initially guix system-ized
digital ocean droplets.  :)

You might want to double check on #guix in irc if that's correct
though...I sometimes make mistakes.  :)

Also, any help questions are best sent to help-g...@gnu.org.

Welcome to the guix family!

Joshua

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Meta guix: making money with GNU Guix: slightly off topic

[Joshua Branson]

Leo Famulari  writes:

> On Tue, Apr 06, 2021 at 12:05:00PM -0400, Joshua Branson wrote:
>> Aloha you lovely people!  I personally believe that people should make
>> business out of free software.  Here are some of my business ideas
>> involving GNU Guix.  I invite you all to beat me to market!
>
> VPS service that accepts a config.scm and returns a running virtual
> machine, accessible with a web-based console (SSH, HTTPS and other
> services would be enabled by the user as desired, in config.scm).

I'm all game to do something like this!  We could be a serious contender
for linode or digital ocean!  Guix already has a VPS like service...one
would just need to write the web interface...and potentially buy some
hardware.


--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Meta guix: making money with GNU Guix: slightly off topic

[Joshua Branson]

Aloha you lovely people!  I personally believe that people should make
business out of free software.  Here are some of my business ideas
involving GNU Guix.  I invite you all to beat me to market!

- Become a competitor to jmp.chat.  jmp.chat is a free software cell
phone service.  I use it.  They charge $3 per month.  Unlimited
calling and texting.  Not to shabby.  Somewhere on their website, they
link to a wiki that has all of their source code and the nitty gritty
details on how to use their service.  Someone could make this a
service in GNU Guix and then ANYONE could compete with jmp.chat.

- Sell your emacs config.  Guix should make it possible for people to
   download and install a custom emacs.  I believe one of the guix
   developers is currently making a custom emacs for guix usage...can
   someone link to that for me?  You could make a custom channel, that
   somehow people can only access if they pay for you it.  This is
   free software, BUT people need to pay to use it.  "Conversations"
   (that's how I use jmp.chat) on my Android phone, has this business
   model.  You have to pay to download the software, but it is free
   software.

- Sell free software games.  I'm sure guix could help you do this is
   some way...

- If we package sourcehut, people could try to compete with Drew
  Devault.  Though that guy works 80 hours a week.  So best of luck
  competing against him!

Thanks!

Joshua

Apologies if this is off topic.  Please let me know if this sort of
email does not belong on guix devel!

Re: Please review blog post draft: powerpc64le-linux support

[Joshua Branson]

-bootstrap-seed-by-50/)
> +[works](https://guix.gnu.org/en/blog/2020/guix-further-reduces-bootstrap-seed-to-25/)
> +to [reduce](https://guix.gnu.org/en/blog/2018/bootstrapping-rust/) our
> +overall bootstrap footprint.
> +
> +So first you need to build the the bootstrap binaries for your

"the the" --> "the"

> +platform.  In theory, you can do this in many ways.  For example, you
> +might try to manually compile them on an existing system.  However,
> +Guix has [package
> +definitions](https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/make-bootstrap.scm?id=5d8c2c00d60196c46a32b68c618ccbe2b3aa48f4)
> +that you can use to build them - using Guix, of course!
>
> +In both the big-endian and little-endian case, we were saddened to
> +discover that the bootstrap binaries are not entirely reproducible.
> +This fact is documented in [bug
> +41669](https://debbugs.gnu.org/cgi/bugreport.cgi?bug=41669), along
> +with our extensive investigations.  In short, if you build the
> +bootstrap binaries on two separate machines without using any
> +substitutes, you will find that the derivation which cross-compiles
> +%gcc-static (the bootstrap GCC, version 5.5.0) produces different
> +output on the two systems.  However, if you build %gcc-static twice on
> +the same system, it builds reproducibly.  This suggests that something
> +in the transitive closure of inputs of %gcc-static is perhaps
> +contributing to its non-reproducibility.  There is an interesting graph 
> toward the end of the bug report that suggests that the non-reproducibliity 
> is introduced by one or more of 21 derivations in the transitive closure of 
> %gcc-static's inputs that do not build reproducibly across systems.

On my computer, the above line is SUPER LONG.  Should you do a M-x
fill-paragraph on the above line?  Or does that not really matter?

> +### Next Steps
> +
> +It is now possible to install Guix on a powerpc64le-linux system and
> +use it to build some useful software - in particular, Guix itself.  So
> +Guix is now "self-hosted" on this platform, which gives us a
> +comfortable place to begin further work.
> +
> +The following tasks still need to be done.  Anyone can help, so please
> +get in touch if you want to contribute!
> +
> +- Solve the GCC bootstrap binary reproducibility issue.
> +- Get Guix System to work on powerpc64le-linux.
> +- Get CI infrastructure to work (Cuirass, guix-build-coordinator,
> +  substitutes, etc.)
> +- Fix all package build failures.
> +- Try building rust, and if it works, judiciously re-introduce the
> +  librsvg dependency for powerpc64le-linux in gtk+ and gtk+-2, since
> +  [it is currently
> +  missing](https://git.savannah.gnu.org/cgit/guix.git).

Just out of curiosity, does rust work on power?  I'm under the
impression that rust, while memory safe, is not so easy to bootstrap.
Though I am eager to see someone bootstrap rust to power!  Best of luck
you brave soul!

> +- Upgrade GCC to 8 on core-updates, fix issues that occur.
> +- Merge core-updates to master after that.

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Sourcehut packaging

[Joshua Branson]

Ron Nazarov  writes:

> All Python dependencies of core.sr.ht (which is required by all Python
> components of Sourcehut) are now packaged, but it also has 2 npm
> dependencies (clean-css and clean-css-cli), these are not yet packaged,
> they have the following dependencies (flattened):
>  * balanced-match
>  * brace-expansion
>  * clean-css
>  * clean-css-cli
>  * commander
>  * concat-map
>  * fs.realpath
>  * glob
>  * inflight
>  * inherits
>  * minimatch
>  * once
>  * path-is-absolute
>  * source-map
>  * wrappy (packaged as node-wrappy)

That's awesome!  How cool would it be to have a Sourcehut service in
guix system !?

>
> This is not very many dependencies compared to jQuery.
>
> I have not looked at other sourcehut packages yet.

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Security related tooling project OFF TOPIC PRAISE

[Joshua Branson]

Christopher Baines  writes:

> Joshua Branson  writes:
>
>> Christopher Baines  writes:
>>
>>> 1: https://git.cbaines.net/guix/tooling-to-improve-security-and-trust/about/
>>
>> Are you using guix system to serve the above link?  I didn't realize
>> that gitolite could render a README document so well!
>
> I am, it's cgit which is doing the web stuff, and it can process the
> about content through a script, which is what I'm doing [1]. I'm using a
> script which either passes it through Emacs if it's an org file, and
> otherwise uses the about-formatting.sh script included in cgit.
>
> 1: https://paste.debian.net/plain/1192275

That is probably the most beautiful thing I've seen so far today!  That
is soo cool!

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Security related tooling project OFF TOPIC PRAISE

[Joshua Branson]

Christopher Baines  writes:

> Hey,
>
> In May last year (2020), I submitted an application to NLNet. The work I
> set out wasn't something I was doing at the time, but something I hadn't
> yet found time to work on, tooling specifically around security issues.
>
> The application got a bit lost, probably somewhat down to email issues
> on my end. Anyway, things picked up again in February of this year
> (2021), and this is now something I'm looking to do roughly over the
> next 8 months.

Sweet action bro!  Way to land a guix related job for the next 8 months!
That's awesome!

>
> I've been working on stuff in and around Guix for I think around 5 years
> now, and in that time I have attempted some big projects, particularly
> things like the Guix Data Service and Guix Build Coordinator. I've fit
> all of that around a regular non-Guix related work. The support of NLNet
> means I'm able to set aside more time for Guix and this work, exactly
> how much more time I can dedicate is something I'm still working on.

I'm looking forward to the tooling that you'll develop!  I've heard cool
things about the Guix Data Service and the Build Coordinator.  I've no
doubt that your security related tooling will be just as fantastic!

>
> There's a more complete description of the aims and tasks here [1], this
> email is effectively the start of the work. I want to get lots of input
> and feedback on the plans I've set out, as well as checking if there's
> any related or overlapping work going on.
>
> 1: https://git.cbaines.net/guix/tooling-to-improve-security-and-trust/about/

Are you using guix system to serve the above link?  I didn't realize
that gitolite could render a README document so well!

>
> Please let me know if you have any comments or questions!
>
> Thanks,
>
> Chris

It'll be interesting when people stop saying that "OpenBSD" has fixed
that security issue, and instead they say guix system fixed that
security flaw.  :)

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Document our WIP

[Joshua Branson]

Ricardo Wurmus  writes:

> Vincent Legoll  writes:
>
>> I'd like to reiterate my proposal to document our
>> ongoing projects, maybe with a "WIP" page on the
>> web site (even if I'm not a web guy, I volunteer
>> the maintenance of it).
>
> There’s a wiki that could be used for this purpose:
> https://libreplanet.org/wiki/Group:Guix

Good point.  Perhaps we should link to this wiki from the guix website?

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Self-contained GuixSD Installer

[Joshua Branson]

Ludovic Courtès  writes:

> Hi,
>
> Gurjeet Singh  skribis:
>
>> Does a self-contained GuixSD installer exist? I tried running GuixSD
>> in a VM (in VBox, on macOS), and for that I downloaded the ISO image.
>> The ISO image, after a few prompts, then tries to install everything
>> from the internet.
>
> The Guix System (formerly known as “GuixSD”) installer cannot be
> entirely self-contained because there are many different choices users
> can make from there: desktop environments, network services, etc.
>
> However, if you choose a bare-bones, non-graphical kind of system
> installation, most if not all of it is already in the ISO.

That's personally how I install guix system.  I find it's easier to
install the bare-bones.scm...Then after rebooting I switch my config to
my actual config file.

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: [opinion] CVE-patching is not sufficient for package security patching

[Joshua Branson]

raingloom  writes:
>
> What about a Liberapay for Guix? Could also be used to pay developers.
>

I'd be game for something like this.  We could have a guix membership.
Drew Devault has a "secret irc" channel for paying patreons.  Perhaps we
could advertise a guix membership on the guix site.  When someone signs
up, it actually makes them an FSF member. I believe membership with the
FSF includes perks such as: 5 email aliases, a federated XMPP account,
and some other things...

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: [SPITBALL] Jehanne as another kernel option / porting target

[Joshua Branson]

pinoaffe  writes:

> raingloom writes:
>
>> seL4 would be cool too.
> Didn't someone do some work on making hurd run on SEL4?
> Or am I misremembering

You are correct.  :)

https://www.gnu.org/software/hurd/history/port_to_another_microkernel.html

By now (that is, after 2006), there were some new L4 variants available,
which added protected IPC paths and other features necessary for
object-capability systems; so it might be possible to implement the Hurd
on top of these. However, by that time the developers concluded that
microkernel design and system design are interconnected in very
intricate ways, and thus trying to use a third-party microkernel will
always result in trouble. So Neal Walfield created the experimental
Viengoos kernel instead -- based on the experience from the previous
experiments with L4 and Coyotos -- for his research on resource
management. Currently he works in another research area though, and thus
Viengoos is on hold.

So essentially most of the active hurd developers considered a port to a
different microkernel to be impractical.  :(

However, one of the main hurd developers (he has since stepped away from
active development), started a hurd clone:  x15.

https://www.sceen.net/x15/

He claimed that the original GNU Hurd has too many bad design
decisions.  So he started from scratch writing a kernel.  His kernel x15
is NOT a mach replacement.  However, some of the code he wrote for x15
has been incorporated in the GNU Hurd.  :)

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Best practices for writing services

[Joshua Branson]

Xinglu Chen  writes:

> Hi Guix,
>
> I am going to write an mcron service for `guix home`[1][2] and before
> proceding, I would like to get some suggestions on what the best
> practices are for writing services in Guix.

Please note that I am a guix documentation contributor, and I am not
quite a guix developer yet.  :)  Though I do have a patch pending on
http://issues.guix.gnu.org/39136  (not certain why the 2/2 patch does
not show, 'cause I saw that come through in my inbox).

>
> Currently there seems to be two main ways to do this, the first one
> is the define one or more records for the configuration field of a
> service using `define-record-type*`, see the tor service in (gnu
> services networking) for example.  The other method is to use
> `define-configuration` to declare the configuration fields of a service,
> see the transmission service in (gnu services file-sharing) for example.

I believe that the first method via define-record-type* seems to be the
recommended method to do this.  I only say that because I feel like more
services are defined that way now.  :)

> The second method removes quite a lot of boilerplate and the developer
> will define different serializers that convert scheme syntax like lists,
> alist, boolean... to the "real" configuration syntax of the program.  It
> also does some automatic typechecking to some degree and allows the
> developer to write docstrings for each configuration field.  There is
> then a procedure called `generate-documentation` which can automatically
> generate texinfo documenation from the docstrings.

I do like that generate-documentation procedure.  Perhaps we could add
that for the define-record-type*  somehow...

>
> I couldn't find any information in the manual regarding what conventions
> should be used when writing services for Guix and would like to hear
> from more experienced Guix hackers what the best practices are.

You might try asking in irc in #guix too!

I've been working on a sway service and an endlessh service in my
hacking videos
(https://video.hardlimit.com/accounts/joshua_branson/video-channels).  I
was running into issues, where I could compile the service, but trying
to reconfigure my system would result in errors.  The errors messages
were a little vague.  I will also say that the better method I have
found in writing a guix service is to

1) write the service as simply as possible first.  I personally would
copy the simplest service that you can find in gnu/services/  and modify
that via a M-x anzu-query-replace-regexp.  If re-configuring works, make a 
commit.

2) If possible, containerize the service.  If it works, make a commit.

3) Now start adding in all the features you left out before.

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Examples on why ungrafting is necessary

[Joshua Branson]

; grafting '/gnu/store/…-pango-1.44.7' -> '/gnu/store/…-pango-1.44.7'...
> successfully built /gnu/store/…-pango-1.44.7.drv
> applying 13 grafts for /gnu/store/…-texlive-bin-20190410.drv ...
> grafting '/gnu/store/…-texlive-bin-20190410' -> 
> '/gnu/store/…-texlive-bin-20190410'...
> GC Warning: Repeated allocation of very large block (appr. size 1052672):
> May lead to memory leak and poor performance
> GC Warning: Repeated allocation of very large block (appr. size 1052672):
> May lead to memory leak and poor performance
> GC Warning: Repeated allocation of very large block (appr. size 1052672):
> May lead to memory leak and poor performance
> GC Warning: Repeated allocation of very large block (appr. size 1052672):
> May lead to memory leak and poor performance
> GC Warning: Repeated allocation of very large block (appr. size 1052672):
> May lead to memory leak and poor performance
> GC Warning: Repeated allocation of very large block (appr. size 1052672):
> May lead to memory leak and poor performance
> GC Warning: Repeated allocation of very large block (appr. size 1052672):
> May lead to memory leak and poor performance
> GC Warning: Repeated allocation of very large block (appr. size 1052672):
> May lead to memory leak and poor performance
> successfully built /gnu/store/…-texlive-bin-20190410.drv
> applying 1 graft for /gnu/store/…-texlive-union-51265.drv ...
> grafting '/gnu/store/…-texlive-union-51265' -> 
> '/gnu/store/…-texlive-union-51265'...
> successfully built /gnu/store/…-texlive-union-51265.drv
> applying 14 grafts for /gnu/store/…-r-minimal-4.0.4.drv ...
> grafting '/gnu/store/…-r-minimal-4.0.4' -> '/gnu/store/…-r-minimal-4.0.4'...
> successfully built /gnu/store/…-r-minimal-4.0.4.drv
> applying 1 graft for /gnu/store/…-r-rcpp-1.0.6.drv ...
> grafting '/gnu/store/…-r-rcpp-1.0.6' -> '/gnu/store/…-r-rcpp-1.0.6'...
> successfully built /gnu/store/…-r-rcpp-1.0.6.drv
> applying 2 grafts for /gnu/store/…-r-chemminer-3.42.2.drv ...
> grafting '/gnu/store/…-r-chemminer-3.42.2' -> 
> '/gnu/store/…-r-chemminer-3.42.2'...
> successfully built /gnu/store/…-r-chemminer-3.42.2.drv
> /gnu/store/…-r-chemminer-3.42.2
>

-- 
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar
  

Re: guix home

[Joshua Branson]

Andrew Tropin  writes:

> Hi guix!
>
> There is an implementation of `guix home` subcommand, which behaves
> similar to `guix system`, allowing declaratively manage applications and
> their configurations, but for a particular user, not the whole OS:
> https://git.sr.ht/~abcdw/rde/tree/master/item/gnu

Thanks for sharing this!  And it's on sourcehut!  Very rock star of you!

>
> For now I personally manage just a few applications on my system and it
> seems that everything works as expected, but I plan to migrate all the
> "dotfiles" to it in nearest future. AFAIK, some people succesfully use
> it on other GNU/Linux distributions.

That's awesome!

>
> * Alternative solutions
> In contrast to guix-home-manager, `guix home` doesn't introduce any too

For those interested the guix-home-manager is here:
https://framagit.org/tyreunom/guix-home-manager

> innovative approaches (those ideas are cool, but in some use cases are
> too radical), `guix home` uses the same extension mechanism [fn:1] as
> guix system services and doesn't require to make HOME read-only. Thus,
> it's possible to start using `guix home` gradually, along with other
> tools and workflows (stow, guix package, chezmoi, yadm, etc).

Honestly, this is why I haven't tried the guix-home-manager.  I didn't
want to make /home read only.  That sounded hard to switch to.  I'll
have to give your guix home command a try!  It sounds easy!

> * Future steps
> `guix home` still under active development, but already complete enough
> for exloration and early adoption. There is no any documentation yet,
> because things were changing often and probably will change one more
> time during comming cleanup, however there were few video streams,
> explaining internals of `guix home`:
> mpv https://youtu.be/t3zRzQnarUI
> mpv https://youtu.be/4lJaVzxO_Bs
> mpv https://youtu.be/ZRQtCvo8MoM
>
> The question is: do we want and need at all `guix home` to be a part of
> the guix? As for me, the tool seems like a natural addition to guix's
> declarative configuration management approach and covers the missing
> piece of user space software management and as I mentioned early
> upstreaming will allow to make it better integrated with the rest of the
> guix and easier to use for newcommers and casual users, but my
> perception is obviously biased.

I believe the goal is to eventually merge guix-home-manager (or
something like it) into guix.  (I'm more of a guix documentation guy, so
perhaps a guix developer can better answer this).

> --
> Best regards,
> Andrew Tropin

I'm going to remember that name.  Andrew's going places!

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Packaging

[Joshua Branson]

mecqor labi  writes:

> Please package (Dialect) for Guix; Thanks
>
> (This is not my primary email)
>

These kind of questions are probably best directed toward
help-g...@gnu.org.  :) Also, it sounds like dialect
(https://github.com/gi-lom/dialect) is software as a service, which is
kind of frowned upon...But now I realize that we have
gtk-youtube-viewer, is probably also software as a service in some
sense...

Also, why don't you give packaging it yourself a try?  Ask for help on
#guix when you run into issues.

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Joining committers

[Joshua Branson]

Léo Le Bouter  writes:

> I've been working on PowerPC 64-bits support on and off on GNU Guix
> since 2 years as I own a RaptorCS Talos II machine at home that runs
> with only free firmware and software.

Are you running Debian on the PowerPC?  I assume Debian's got the best
PowerPC support.  Do most programs compile ok/work ok for Debian?

> I have a lot of time these days (choose to leave all jobs and focus on
> what I like) so as my learning of GNU Guile, Scheme and GNU Guix
> improves, expect me on all fronts!

Please do consider setting up a patreon/librepay account!  Marketing
helps too!

>
> Thank you!
>
> Léo Le Bouter
>

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Getting the Guix Build Coordinator agent working on the Hurd

[Joshua Branson]

Christopher Baines  writes:

> Hey,
>
> This has been on my todo list ever since the childhurd service came in
> to existence. I spent some more time looking at it yesterday, and did
> manage to get the agent working in a childhurd VM, at least somewhat.

Firstly awesome!

> There's also one problem probably within the Guix Build Coordinator
> itself, after doing a few builds, it will just stop. I've only seen this
> behaviour on the Hurd, but I'm unsure how to debug it, any suggestions?
> My only idea is add more logging.

You could always email bug-h...@gnu.org or hang out in the #hurd
channel.  Samuel is pretty quick to reply.  He's about as responsive as
Ludo!

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: How to store secrets when using guix deploy?

[Joshua Branson]

Lee Fallat  writes:

> Hey!
>
> As the title says, I was wondering how people are storing secrets when
> using guix deploy?

I would love to know how to do that too!  Also Lee, this kind of
question is best asked in help-g...@gnu.org.

Thanks!

Joshua

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: FOSDEM + Guix Day: hurrah!

[Joshua Branson]

Ricardo Wurmus  writes:

> Pjotr Prins  writes:
>
>> To keep riding the wave I was thinking we could organise a GNU Hurd
>> day in 3 months. That an idea? I have been toying with GNU Hurd in a
>> VM and I think it is nice.
>
> It would be nice to have a little hack day to learn ways to hack on the
> Hurd within the VM, to upgrade packages to the latest patched versions
> (it’s never really clear to me what the canonical source is), and to
> hack on open issues.

For those that are unaware, there is a Hurd-like operating system in
development by one of the Hurd developers:  X15.

https://www.sceen.net/x15/

Currently it has not started the userspace system yet.  Just food for
thought.

-- 
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar
  

Re: ZFS on Guix

[Joshua Branson]

raid5atemyhomework  writes:

> The patchset currently dying on issues.guix.gnu.org would provide a nice 
> simple single-step way to enable *very basic* ZFS support on your Guix 
> system.  Until it gets merged, however, you can still enable *very very 
> basic* ZFS support on your Guix system by following the below minimal guide.

If this patch does not get merged into guix, then you could always add
it to the cookbook.  :)

-- 
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar
  

Re: PowerShell core?

[Joshua Branson]

Yasuaki Kudo  writes:

> Hi,
>
> Just curious, is there any interest in making PowerShell core available for 
> Guix?

I don't know of any talented developers currently pushing to include it
in guix.  :(  (I'm not one of those developers).

>
> I have become quite fond of Powershell over the years (I say Powershell is 
> almost synonymous with IT worker rights - gives poor workers in sorry corners 
> of
> corporate world [those who are abandoned without adequate tools to get the 
> job done - because Windows is always there and Powershell comes with it!] a
> huge productivity lift )

I will that say since PowerShell is based on .Net, it may be possible to
bring it to guix.  I believe that the mono project for may be a good
start for this, and it is packaged in guix!

https://www.mono-project.com/

>
> https://devblogs.microsoft.com/powershell/powershell-core-6-0-generally-available-ga-and-supported/
>
> Cheers,
> Yasu
>

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Guix in Debian!

[Joshua Branson]

Ludovic Courtès  writes:

> Hi!
>
>
> Someone on IRC recently asked whether one could use dpkg/apt on Guix
> (Guix System, I assume).  What does it take to get dpkg working on Guix
> System?

I've never thought about that!  That would be super cool!

>
> Thank you!
>
> Ludo’.
>

--
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar

Re: Guix in Debian!

[Joshua Branson]

Awesome!  Congrats!

-- 
Joshua Branson (joshuaBPMan in #guix)
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help
enough other people get what they want." - Zig Ziglar
  

Re: When substitute download + decompression is CPU-bound

[Joshua Branson]

Looking on the Zstandard website (https://facebook.github.io/zstd/), it
mentions google's snappy compression library
(https://github.com/google/snappy).  Snappy has some fairly good
benchmarks too:

Compressor  Ratio   Compression Decompress.
zstd2.884   500 MB/s1660 MB/s
snappy  2.073   560 MB/s1790 MB/s

Would snappy be easier to use than Zstandard?

--
Joshua Branson
Sent from Emacs and Gnus
  https://gnucode.me
  https://video.hardlimit.com/accounts/joshua_branson/video-channels
  https://propernaming.org
  "You can have whatever you want, as long as you help

enough other people get what they want." - Zig Ziglar

Re: Guix now compiles on my Talos II

[Joshua Branson]

Does most software compile for it?

Are you running gnome?  Or something else?

Thanks,

-- 
Joshua Branson
Sent from Emacs and Gnus
https://gnucode.me
https://video.hardlimit.com/accounts/joshua_branson/video-channels
"You can have whatever you want, as long as you help enough other people get 
what they want." - Zig Ziglar

Re: Guide! Help! Using guix, or GNU/Linux, for secrecy, privacy.

[Joshua Branson]

Hey Aniket,

This kind of question is best asked in help-g...@gnu.org.  That's where
non-developmental questions should go.  :)

But briefly here's my two cents: You should replace your wifi card.  I
believe there are other wifi cards available that work with free
software that should fit in your laptop.  Alternatively, there are even
ones that work with a usb port.  thinkpenguin.com should have some
options or ebay.  It'll cost you $10-$50 depending where you buy.

If you really want to browse the internet like Edward Snowden, then
having VPN over TOR is probably one of the better ways to go.  You'll
browsing speed probably won't support playing internet videos though.
You can set up your own VPN, but it's just easier to pay for it.  I use
expressVPN.  If you buy from expressVPN, let em know.  I can guide you
to setting it up with Guix.

I would recommend using Thunderbird as your email client.  We have it
packaged in guix as icedove.  I would also recommend dismail.de or
riseup.net to host your email.  Both are gratis, but please do consider
donating to their cause.

If you wanted to dive deeper into securing your computing, don't use a
computer. :)  But you could set up an encrypted hard drive, and possible
follow the Archlinux guide about security.

https://wiki.archlinux.org/index.php/Security#Hardened_malloc

Do note that updating your CPU microcode is technically non-free, which
is mentioned in the guide.

Feel free to re-ask this question by emailing help-g...@gnu.org.

Thanks,

Joshua

P.S.  Sorry if linking to the Arch GNU/Linux wiki is frowned upon, but
it still is the best wiki I've come across.

--
Joshua Branson
Sent from Emacs and Gnus
https://gnucode.me
https://video.hardlimit.com/accounts/joshua_branson/video-channels
"You can have whatever you want, as long as you help enough other people get 
what they want." - Zig Ziglar

Re: Removing/replacing “Guix in action” video from the home page?

[Joshua Branson]

So I've spent an hour today making a new video.  It's about 10 minutes
long.  I'll cut out some bits of it via video editors.  Just an update.

Thanks,

Joshua

--
Joshua Branson
Sent from Emacs and Gnus
https://gnucode.me
https://video.hardlimit.com/accounts/joshua_branson/video-channels
"You can have whatever you want, as long as you help enough other people get 
what they want." - Zig Ziglar

Re: ‘xdg-mime-database’ profile hook is slow

[Joshua Branson]

/gnu/store/k8lnv9cqk6m15k18hhzg7w696r1vxx1v-openssh-8.4p1
grim1.3.1   out /gnu/store/9v5i9q7kwcmq1q31qri0icjkhh3csh9r-grim-1.3.1
evince  3.36.5  out 
/gnu/store/arwvpbrzsch4w6afkpqln6625dfl0bz8-evince-3.36.5
pulseaudio  13.0out 
/gnu/store/19wcjfwdr3hzq1a4wcpld1zdrjichck0-pulseaudio-13.0
libreoffice 6.4.6.2 out 
/gnu/store/7rbk52nzqmakd5whds5a6f07xrd2k870-libreoffice-6.4.6.2
termite 15  out /gnu/store/8lqfy0mxqnq3xg24gwsxvzpxnvv6firh-termite-15
mpv 0.32.0  out /gnu/store/2i2gzn7fa8qq0f1jkqhiyl0xw63fjr4w-mpv-0.32.0
pinentry1.1.0   out 
/gnu/store/bdsk9yq48lx1f7y7xr9sv4yrmm4ync9b-pinentry-1.1.0
glib2.62.6  doc 
/gnu/store/ql2226knbh4q04bbdiqcppvs5rjyl3ga-glib-2.62.6-doc
pidgin  2.13.0  out 
/gnu/store/fd06njmc5maid7b474v224iazy7bc20h-pidgin-2.13.0
gimp2.10.20 out /gnu/store/m397hvwhsd0l6v5d0vqxxkm4iyp0p9w3-gimp-2.10.20
sway1.4 out /gnu/store/27ggd92in0hpgmkgk79n2iy4angjxwvl-sway-1.4
wf-recorder 0.2.1   out 
/gnu/store/glc6y75l4czpfyrgbrbgxg38ig004v1p-wf-recorder-0.2.1
wofi1.1.2   out /gnu/store/qaylx0k6wg3awsamn2rqr41q9c8iwypg-wofi-1.1.2
linphoneqt  4.1.1   out 
/gnu/store/wlcviacpagxqnw1737x131if0fj7kzjv-linphoneqt-4.1.1
qbittorrent 4.2.5   out 
/gnu/store/29cjbdmz809pdvmylbx307l2p7zv0ma9-qbittorrent-4.2.5
pavucontrol 4.0 out 
/gnu/store/0ilm4lncr6gpg4h3zdvaxg1pibkm6934-pavucontrol-4.0
git 2.28.0  send-email  
/gnu/store/g5x559qk5yxs19jcxqplqv8b9y32vak2-git-2.28.0-send-email
flatpak 1.8.2   out 
/gnu/store/ywfsnccvlr0j6afb5vnl3z4ismvcfbz6-flatpak-1.8.2
xdg-desktop-portal  1.7.2   out 
/gnu/store/jkjx5dd7s3dp58p2hwsm8n2rm15z90ys-xdg-desktop-portal-1.7.2
xdg-desktop-portal-gtk  1.7.1   out 
/gnu/store/zhssisyp66vggjnqi5y8nb1xnk55vnw1-xdg-desktop-portal-gtk-1.7.1
xeyes   1.1.2   out /gnu/store/4jx8i19xd94d421n4acy2c1p0nn9h6d0-xeyes-1.1.2
emacs-polymode  0.2 out 
/gnu/store/gmm1y1xahg44yw9ghsf0kwd40w86q7mf-emacs-polymode-0.2
notmuch 0.31out /gnu/store/0js5dwj8nxj0x0hxfllgzz4zxlsmyrz4-notmuch-0.31
msmtp   1.8.12  out /gnu/store/s1g4nskvnsx9ww0032xg23548h7mnwvq-msmtp-1.8.12
youtube-viewer  3.7.9   out 
/gnu/store/jm7q53lpda3a4rs2z7xv7cgig7adpncb-youtube-viewer-3.7.9
guile-curl  0.6 out 
/gnu/store/9nnclxjxakwx9yc381arqrk1nhld21b5-guile-curl-0.6
qemu5.1.0   out /gnu/store/qzi36f60d2zlrdj9mg6b5y4i00w1fzfq-qemu-5.1.0
icecat  78.3.1-guix0-preview1   out 
/gnu/store/71fkykdajhkshsvzwrnqm4lsc6qgycg2-icecat-78.3.1-guix0-preview1
git 2.28.0  out /gnu/store/j66k3x1wz0bc6nh09dwa6i4jwahqcabi-git-2.28.0
guix1.1.0-29.4e3ed9bout 
/gnu/store/irirj169rncank4y7i6n8qyiiqbs76qr-guix-1.1.0-29.4e3ed9b
ffmpeg  4.3.1   out /gnu/store/sg4yq9i0v1lphvs1vx33dw9mn801adrd-ffmpeg-4.3.1
pavucontrol-qt  0.15.0  out 
/gnu/store/9d0zp4wps5kpbqsl4yvjb96spb5xwz9b-pavucontrol-qt-0.15.0
clementine  1.3.1-2.4619a4c out 
/gnu/store/5392fysgmmi2jmn98maz9ihzn9ahzhw9-clementine-1.3.1-2.4619a4c
mako1.4 out /gnu/store/k83v9wz6szf6k2p2sz1amvwqm687j3h2-mako-1.4
ungoogled-chromium  86.0.4240.75-0.c34a56d  out 
/gnu/store/m0s9mrbirbssis5nn9agx8k4sl2ck0y9-ungoogled-chromium-86.0.4240.75-0.c34a56d
#+end_example


Thanks,

--
Joshua Branson
Sent from Emacs and Gnus
https://gnucode.me
https://video.hardlimit.com/accounts/joshua_branson/video-channels
"You can have whatever you want, as long as you help enough other people get 
what they want." - Zig Ziglar

Re: Removing/replacing “Guix in action” video from the home page?

[Joshua Branson]

I don't want to complain (because I'm probably not going to be able to
fix any issues that I spot), but it does seem to take a while for me to
install packages, at least the XDG mime step.  It's not a huge issue for
me.  I just realize that installing packages takes more time . :)  But
if we are calling this an "issue", your suggestion to use numerous
packages seems like a "work-around" rather than a "fix".

Again, I'm not complaining.  I'm just offering my thoughts.

--
Joshua Branson
Sent from Emacs and Gnus
https://gnucode.me
https://video.hardlimit.com/accounts/joshua_branson/video-channels
"You can have whatever you want, as long as you help enough other people get 
what they want." - Zig Ziglar

Re: Removing/replacing “Guix in action” video from the home page?

[Joshua Branson]

Well, I've created a basic guix package management video.  It's about 7
minutes long.  You'll notice I made it a little goofy.  Essentially
building the XDG mime database takes a while.  So I just read from
Stallman's essays during the downtime.

If someone wants to show me how to install packages without having to
wait so long for the xdg mime database to build, please let me know, and
I'll re-make the video.

https://video.hardlimit.com/videos/watch/c0dfb36a-a84b-4363-8b1b-17aeadd4aaaf

Thanks,

Joshua

--
Joshua Branson
Sent from Emacs and Gnus
https://gnucode.me
https://video.hardlimit.com/accounts/joshua_branson/video-channels
"You can have whatever you want, as long as you help enough other people get 
what they want." - Zig Ziglar

Re: Diverse Double-Compiling, --with-c-toolchain and trusting trust

[Joshua Branson]

Hey zimoun!

This reminds me of the reflections on trusting trust:

https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_ReflectionsonTrustingTrust.pdf

If you get something like this working, and you'd like some help
assembling it into a blog post, please let me know!

Thanks,

--
Joshua Branson
Sent from Emacs and Gnus
https://gnucode.me
https://video.hardlimit.com/accounts/joshua_branson/video-channels
"You can have whatever you want, as long as you help enough other people get 
what they want." - Zig Ziglar

Re: Outreachy internship

[Joshua Branson]

I haven't really followed what others have proposed, but you could
certainly get some ideas here:

https://libreplanet.org/wiki/Group:Guix/GSoC-2020

I personally think it would be great to see some improvement to the GNU
Shepherd.  It could use some love.  :)

--
Joshua Branson
Sent from Emacs and Gnus
https://gnucode.me
https://video.hardlimit.com/accounts/joshua_branson/video-channels
"You can have whatever you want, as long as you help enough other people get 
what they want." - Zig Ziglar

Re: Removing/replacing “Guix in action” video from the home page?

[Joshua Branson]

I would describe my video set up as pretty simple:

$ wf-recorder --audio

If you watch any of my below videos, you'll see me take breaks like, "Oh
hold on just a second, I think my landlord is knocking at my front
door. I'll be right back."

-- 
Joshua Branson
Sent from Emacs and Gnus
https://gnucode.me
https://video.hardlimit.com/accounts/joshua_branson/video-channels
"You can have whatever you want, as long as you help enough other people get 
what they want." - Zig Ziglar

Re: Removing/replacing “Guix in action” video from the home page?

[Joshua Branson]

I send a ton of time making videos online, so I can probably spare some
time to do this.  I'll have a video posted in a day or two.

Thanks,

Joshua

--
Joshua Branson
Sent from Emacs and Gnus
https://gnucode.me
https://video.hardlimit.com/accounts/joshua_branson/video-channels
"You can have whatever you want, as long as you help enough other people get 
what they want." - Zig Ziglar

Re: Guix Europe yearly assembly minutes increasing membership

[Joshua Branson]

That sounds about right.

-- 
Joshua Branson
Sent from Emacs and Gnus
https://gnucode.me
https://video.hardlimit.com/accounts/joshua_branson/video-channels
"You can have whatever you want, as long as you help enough other people get 
what they want." - Zig Ziglar

Re: Guix Europe yearly assembly minutes increasing membership

[Joshua Branson]

In this email you include some of guix's finances.  Should we guix
mention this membership option on the website?  To encourage more
members, what if guix offered membership that included some perks?  The
FSF has such perks when you sign up to be a member.

On the guix site, we could offer some of the web services that guix
already provides.  Depending on what service, the user has to pay so
much to get the perk.  1

One quick way to do this, may be to sign the user up to be a member of
the FSF.  Becoming a member of guix, would transparently sign them up to
be an associate member of the FSF, which would give them the 5 email
aliases, an irc nick, and I think a meet.jit.si instance.

What do ya'll think?

Joshua

1  I've got an example webpage at my site: https://gnucode.me/services.html

--
Joshua Branson
Sent from Emacs and Gnus
https://gnucode.me
https://video.hardlimit.com/accounts/joshua_branson/video-channels
"You can have whatever you want, as long as you help enough other people get 
what they want." - Zig Ziglar

Re: [BLOG] Running Guix System on a Linode Server

[Joshua Branson]

Chris did a lot of the manual lifting.  He wrote the initial guide in
email form.  I just reformatted it.  :)

If the others are interested, perhaps I could add Vultr to the cookbook.
I'm always game for showing people how to affordably run guix system on
a VPS.  My sites use it, and the certbot set up is fantastic!

--
Joshua Branson
Sent from Emacs and Gnus
https://gnucode.me
https://video.hardlimit.com/accounts/joshua_branson/video-channels
"You can have whatever you want, as long as you help enough other people get 
what they want." - Zig Ziglar

Re: Translating the web site

[Joshua Branson]

I could help for #3.

I've been known to make videos.  If you guys want publicity for this,
would anyone want to be interviewed by me?  Maybe just a 10 minute
meet.jit.si interview talking about why guix is so cool, and why
translation of software is so vital.  I live in U.S., but I'm willing to
lose a little bit of sleep to get the word out.

Thanks,

Joshua

--
Joshua Branson
Sent from Emacs and Gnus
https://gnucode.me
https://video.hardlimit.com/accounts/joshua_branson/video-channels
"You can have whatever you want, as long as you help enough other people get 
what they want." - Zig Ziglar

Re: Questions about Git and workflow

[Joshua Branson]

You might be interested in my video where I contribute a tiny patch to
the guix cookbook.  I'm sure that my workflow could use some
improvement, but you might find some ideas here:

https://video.hardlimit.com/videos/watch/3c1df4c5-392a-44a9-b615-bab533a66231

--
Joshua Branson
Sent from Emacs and Gnus

Re: File search progress: database review and question on triggers OFF TOPIC PRAISE

[Joshua Branson]

Thanks for working on this!  This is a super awesome feature!  Best of luck!

-- 
Joshua Branson
Sent from Emacs and Gnus