Hi Pjotr,
Pjotr Prins writes:
> For those of us on older laptops, can anyone bring a VGA -> HDMI
> converter? That would be very helpful.
I have one VGA -> HDMI converter, which I'll bring. It requires one
Type-A USB port for power.
So, you plug it in to a VGA port and a USB port on your com
Hi Pjotr,
I can donate some time on Saturday to help if you still need it. Please
let me know.
--
Chris
Pjotr Prins writes:
> Dear all,
>
> On Saturday we have a minimalistic devroom with an interesting agenda:
>
> https://fosdem.org/2019/schedule/track/minimalistic_languages/
>
> we need
Hi Guix,
This change is complete and verified. Substitutes are now being
successfully served via ci.guix.info, over both HTTP and HTTPS like
before. You can also continue to access Cuirass via the same website.
Note that due to DNS propagation delay, it may take a few hours before
you start see
Ludovic Courtès writes:
> Currently one has to ask on this mailing list and Ricardo, myself, or
> really anyone with access to fencepost.gnu.org can adjust accordingly.
Please add me! Thank you in advance.
--
Chris
signature.asc
Description: PGP signature
Hi Guix,
As previously announced [1], I am now changing ci.guix.info to serve
requests via CloudFront. I will send a follow up email once the change
is complete and verified. There should be no downtime during the
change.
Footnotes:
[1] https://lists.gnu.org/archive/html/guix-devel/2019-01/ms
On Sun, Jan 20, 2019 at 10:26 AM Pjotr Prins wrote:
>
> FOSDEM from this year only supports HDMI.
>
> For those of us on older laptops, can anyone bring a VGA -> HDMI
> converter? That would be very helpful.
I don 't have an adapter, but I have a cable. You plug it to your VGA
computer and in the
Hello,
Pjotr Prins ezt írta (időpont: 2019. jan.
22., K, 19:50):
>
> On Tue, Jan 22, 2019 at 01:16:33PM +0200, Efraim Flashner wrote:
> > On Tue, Jan 22, 2019 at 10:53:43AM +0100, Pjotr Prins wrote:
> > > No one can help out here?
> > >
> > > On Sun, Jan 20, 2019 at 02:17:39PM +0100, Pjotr Prins
Hello Guix!
As you may know, Guile-JSON 3.x, released a couple of weeks ago, makes
significant incompatible API changes, the most important of which is
this:
--8<---cut here---start->8---
$ guix environment --ad-hoc guile guile-json@1 -- guile -c '(use-modules
Pjotr Prins writes:
> For those of us on older laptops, can anyone bring a VGA -> HDMI
> converter? That would be very helpful.
>
> Also it may be an idea to stream some of the GNU Guix days. These days
> that can be done with phones. Anyone interested in helping out?
…
> No one can help out h
Hi,
Pierre Neidhardt skribis:
> Wait, what about this:
>
>> - I was surprised to see that from the install image, curl, git, etc. would
>> fail
>> with an SSL error. It's annoying because I really needed to get my
>> config.scm
>> from an online source.
>>
>> I only briefly investigate
Hi Pierre,
> From there, why wouldn't Guix do that automatically for use?
In practise UEFI likes to fake a lot of stuff. It can happen that
/sys/firmware/efi exists but the system cannot *boot* via EFI.
Likewise, /sys/firmware/efi can vanish just because you booted
from CD using UEFI's BIOS fal
> (Hybrid MBR/GPT are "dangerous" because they have to be updated in lock-step)
Oops, correction:
GPT always has a dummy MBR partition table which marks everything as "used".
So the MBR will not be updated further.
Grub2 will use GPT (if available) both in the EFI and in the non-EFI case.
pgp4
On Tue, Jan 22, 2019 at 11:36:40AM +0100, Pierre Neidhardt wrote:
> I've noticed that `git clone ` fails if openssh is
> not in the user profile.
> Should we add openssh as an input to Git?
I guess that programs like Git and rsync (another SSH user that doesn't
depend on it explicitly) can use sev
On Tue, Jan 22, 2019 at 12:36:06PM +0100, Pjotr Prins wrote:
> > I have a mini-displayport to hdmi adapter that I'm bringing if anyone
> > needs. I also have a DVI->VGA adapter which I don't expect to be useful.
> > I'm not sure if VGA->HDMI exists so much, searching online they're
> > always liste
Hello!
Pierre Neidhardt skribis:
> I've noticed that `git clone ` fails if openssh is
> not in the user profile.
> Should we add openssh as an input to Git?
I’d say no:
--8<---cut here---start->8---
$ guix size git | tail -1
total: 375.1 MiB
$ guix size git
Hello!
guix-comm...@gnu.org skribis:
> + (packages (append (list ratpoison i3-wm i3status dmenu ;window managers
> + nss-certs ;for HTTPS access
> + )
[...]
> + (packages (append (list nvi fdisk
> +
Hello,
Ricardo Wurmus skribis:
>>> * gnu/packages/base.scm (make-glibc-locales, make-glibc-utf8-locales): New
>>> procedures.
>>> (glibc-locales): Express in terms of make-glibc-locales.
>>> (glibc-utf8-locales): Express in terms of make-glibc-utf8-locales.
>>> (glibc-locales-2.27, glibc-utf8-lo
What's the procedure to install nss-certs then?
Will a simple `guix package -i nss-certs` do?
I think we should document this in the installation manual.
> Someone following the normal installation procedure shouldn’t need those
> certificates though. WDYT?
HTTPS access is a fairly common requi
> I wonder why you felt the need to have that channel?
Two points: the package in Guix is lagging behind in release, and I don't know
enough yet about Guix to submit patches on a whim. So I made a channel to first
try thing out for myself before submitting them to Guix. If I mess something
up in
> Is it possible that Linux fails to detect the UEFI?
Wait... Could that be because of the SecureBoot thing? :/
--
Pierre Neidhardt
https://ambrevar.xyz/
signature.asc
Description: PGP signature
On Tue, Jan 22, 2019 at 12:14:53PM +0100, Julien Lepiller wrote:
> I wonder why you felt the need to have that channel? We already have
> a neovim package in guix. I'm very curious because I use that
> package and didn't feel that anything was missing, apart maybe from
> the possibility to install
On Tue, Jan 22, 2019 at 01:16:33PM +0200, Efraim Flashner wrote:
> On Tue, Jan 22, 2019 at 10:53:43AM +0100, Pjotr Prins wrote:
> > No one can help out here?
> >
> > On Sun, Jan 20, 2019 at 02:17:39PM +0100, Pjotr Prins wrote:
> > > FOSDEM from this year only supports HDMI.
> > >
> > > For those
On Tue, Jan 22, 2019 at 10:53:43AM +0100, Pjotr Prins wrote:
> No one can help out here?
>
> On Sun, Jan 20, 2019 at 02:17:39PM +0100, Pjotr Prins wrote:
> > FOSDEM from this year only supports HDMI.
> >
> > For those of us on older laptops, can anyone bring a VGA -> HDMI
> > converter? That wou
Le 2019-01-21 12:22, HiPhish a écrit :
Hello Guix developers,
I have set up an unofficial Guix channel for Neovim (and possibly for
related
projects in the future):
https://gitlab.com/HiPhish/neovim-guix-channel/
The plan is to use this channel first, and then submit patches to Guix
when
ev
Hello,
Pjotr Prins ezt írta (időpont: 2019. jan.
22., K, 11:26):
>
> No one can help out here?
>
> On Sun, Jan 20, 2019 at 02:17:39PM +0100, Pjotr Prins wrote:
> > FOSDEM from this year only supports HDMI.
> >
> > For those of us on older laptops, can anyone bring a VGA -> HDMI
> > converter? Th
Dear all,
On Saturday we have a minimalistic devroom with an interesting agenda:
https://fosdem.org/2019/schedule/track/minimalistic_languages/
we need one or two volunteers to operate/monitor the video/audio
recording and two volunteers to help me with the room itself (get
speakers started,
No one can help out here?
On Sun, Jan 20, 2019 at 02:17:39PM +0100, Pjotr Prins wrote:
> FOSDEM from this year only supports HDMI.
>
> For those of us on older laptops, can anyone bring a VGA -> HDMI
> converter? That would be very helpful.
>
> Also it may be an idea to stream some of the GNU G
27 matches
Mail list logo
