On 20.11.2019 05:37, John Soo wrote:
Hi Brett,
A touch off-topic.
That is what I do, like in my mlton package.
Do you have urweb packaged by any chance, too?
It would really save me the trouble!
- John
John,
I am familiar with it but I do not have it packaged. If you would like I
mi
Hi Brett,
A touch off-topic.
> That is what I do, like in my mlton package.
Do you have urweb packaged by any chance, too?
It would really save me the trouble!
- John
On 20.11.2019 02:55, bre...@posteo.net wrote:
On 20.11.2019 02:35, bre...@posteo.net wrote:
On 20.11.2019 02:29, bre...@posteo.net wrote:
On 19.11.2019 21:02, bre...@posteo.net wrote:
Hey all,
I am experimenting with the inferior system a little bit. I am
attempting to see if I can specify
On 20.11.2019 02:35, bre...@posteo.net wrote:
On 20.11.2019 02:29, bre...@posteo.net wrote:
On 19.11.2019 21:02, bre...@posteo.net wrote:
Hey all,
I am experimenting with the inferior system a little bit. I am
attempting to see if I can specify a specific version of the
linux-libre kernel t
On 20.11.2019 02:29, bre...@posteo.net wrote:
On 19.11.2019 21:02, bre...@posteo.net wrote:
Hey all,
I am experimenting with the inferior system a little bit. I am
attempting to see if I can specify a specific version of the
linux-libre kernel to be taken from an inferior and applied to my
s
On 19.11.2019 21:02, bre...@posteo.net wrote:
Hey all,
I am experimenting with the inferior system a little bit. I am
attempting to see if I can specify a specific version of the
linux-libre kernel to be taken from an inferior and applied to my
system configuration.
(define kernel-channel-in
Jan writes:
> On Fri, 15 Nov 2019 15:49:23 +0100
> Marius Bakke wrote:
>
>> Did you get the same error when you mounted at /boot/efi?
> Yes.
>
>> If you want the USB drive to be 'portable', i.e. not tied to a single
>> system, you can not use 'grub-efi-bootloader'. The reason is that
>> grub-ef
On 19.11.2019 22:58, bre...@posteo.net wrote:
On 19.11.2019 22:57, Maxim Cournoyer wrote:
Hello!
bre...@posteo.net writes:
On 18.11.2019 00:10, Chris Marusich wrote:
Hi Maxim,
Maxim Cournoyer writes:
I typically start Emacs in server mode using a shepherd user
service,
so rarely rest
On 19.11.2019 22:57, Maxim Cournoyer wrote:
Hello!
bre...@posteo.net writes:
On 18.11.2019 00:10, Chris Marusich wrote:
Hi Maxim,
Maxim Cournoyer writes:
I typically start Emacs in server mode using a shepherd user
service,
so rarely restart Emacs.
If it isn't too much to ask, could
Hello!
bre...@posteo.net writes:
> On 18.11.2019 00:10, Chris Marusich wrote:
>> Hi Maxim,
>>
>> Maxim Cournoyer writes:
>>
>>> I typically start Emacs in server mode using a shepherd user service,
>>> so rarely restart Emacs.
>>
>> If it isn't too much to ask, could you share the configuration
On 19.11.2019 22:26, Marius Bakke wrote:
Konrad Hinsen writes:
Hi Simon,
Maybe a "gfortran-toolchain" package with all the battery included?
That sounds like a very good idea! And I even volunteer to
implement it. Except if someone comes up with a better
solution of course.
Sounds gre
Konrad Hinsen writes:
> Hi Simon,
>
>> Maybe a "gfortran-toolchain" package with all the battery included?
>
> That sounds like a very good idea! And I even volunteer to
> implement it. Except if someone comes up with a better
> solution of course.
Sounds great to me. :-)
signature.asc
Descri
Hey all,
I am experimenting with the inferior system a little bit. I am
attempting to see if I can specify a specific version of the linux-libre
kernel to be taken from an inferior and applied to my system
configuration.
(define kernel-channel-inf
;; This is the old revision from which
;
Hi,
I do not know if it is relevant.
> downloading from
> https://ci.guix.gnu.org/nar/mj40l554qxw15acz0h018gk5c9mxzfgn-texlive-20180414-texmf.tar.xz...
>texlive-20180414-texmf.tar.xz 2.42GiB 1.4MiB/s 29:22 [##]
> 100.0%
seems to be the package "texlive-texmf-src". It is
Hi Guix,
I am building an environment containing texlive. I was prepared for a
huge download, but not for it to happen twice! Here's the log
(with some comments):
The following derivations will be built:
/gnu/store/mp6v3nngryf58l74l1j4y32dv60rp6qn-profile.drv
/gnu/store/5bv2w5k8lgjwpz
15 matches
Mail list logo