prevent gc of texlive-...-texmf.tar.xz

2020-02-12 Thread Thomas Danckaert
Hi, I have limited space on my root file system, and therefore need to run 'guix gc' regularly. One problem with that is that the texlive source package (currently /gnu/store/mj40l554qxw15acz0h018gk5c9mxzfgn-texlive-20180414-texmf.tar.xz) regularly gets deleted that way. When I upgrade afte

Re: Running "guild" runs a script in one of my projects

2020-02-12 Thread Jeremy Korwin-Zmijowski
Le lundi 10 février 2020 à 14:20 -0500, sirgazil a écrit : > Hi, > > Trying to learn about "guild" (a tool that comes with Guile), I ran > "guild --help" and noticed something strange: the usage information > is displayed, and immediately after that a script in one of my Guile > projects is run, s

Re: Running "guild" runs a script in one of my projects

2020-02-12 Thread sirgazil
On Wed, 12 Feb 2020 02:18:43 -0500 Jeremy Korwin-Zmijowski wrote > Le lundi 10 février 2020 à 14:20 -0500, sirgazil a écrit : > > Hi, > > > > Trying to learn about "guild" (a tool that comes with Guile), I ran > > "guild --help" and noticed something strange: the usage informatio

Re: GNOME Terminal: Horrible font after guix system reconfigure

2020-02-12 Thread Ludovic Courtès
Hello! sirgazil skribis: > I have GNOME 3.32.2 now. When I launched a GNOME Terminal, I noticed that the > font is too big and the spacing between characters seems odd: > > > https://multimedialib.files.wordpress.com/2020/01/terminal-font-problem-2020-01-08.png > > Maybe there is a bug with

Re: Is this normal? /var/log/messages is ~730 MB

2020-02-12 Thread Ludovic Courtès
Hi, Maxim Cournoyer skribis: > Ricardo Wurmus writes: [...] >>> Guix System has a log rotation service, described here: >>> https://guix.gnu.org/manual/en/html_node/Log-Rotation.html >>> could you try to configure it, and see if the problem persists? >> >> Should we include it in the examples

Re: Avoiding the garbage collector for the Guix Data Service

2020-02-12 Thread Ludovic Courtès
Hi Christopher, Christopher Baines skribis: > The Guix Data Service has Guix compute lots of derivations, and then it > loads the data in to a database. I'm having some issues with the garbage > collector though, as sometimes it removes data from the disk before I've > had a chance to read it (a

Re: Guix and openmpi in a container environment

2020-02-12 Thread Ludovic Courtès
Hello Todor, Todor Kondić skribis: > guix environment -C -N --ad-hoc -m default.scm > Simply installing openmpi (guix package -i openmpi) in my usual Guix profile > just works out of the box. So, there has to be some quirk where the openmpi > container installation is blind to some settings w

Re: guix browsers timezones are set to GMT

2020-02-12 Thread Ludovic Courtès
Hi! di...@santanas.co.za skribis: > I see timezones in browsers on my guix system are set to GMT. IceCat has a privacy feature turned on by default that, among other things, has it not announce its timezone. You can turn that option off by going to “about:config” in IceCat and then turn off “pr

Re: How to get libtool for gcc-9?

2020-02-12 Thread Ludovic Courtès
Hi Moritz, Moritz Lell skribis: > but libtool looks for gcc-7.4.0 libraries: > > grep 'gcc-.*\ ' `which libtool` | sed 's/ /\n /g' > > # sys_lib_search_path_spec="[...] > # /gnu/store/2plcy91lypnbbysb18ymnhaw3zwk8pg1-gcc-7.4.0-lib/[...]" The ‘libtool’ executable provided by the ‘

Re: Packaging a simple Guile library

2020-02-12 Thread Ludovic Courtès
Hi, sirgazil skribis: > I thought using the "guile-build-system" would make this straightforward, but > it didn't work as I expected. I was hoping to say, "Hey, guile-build-system:" > > 1. "glab" is the library you should build and install. > 2. "doc" is the texinfo documentation you should bui

Re: Packaging a simple Guile library

2020-02-12 Thread sirgazil
On Wed, 12 Feb 2020 09:23:48 -0500 Ludovic Courtès wrote > Hi, > > sirgazil skribis: > > > I thought using the "guile-build-system" would make this straightforward, > > but it didn't work as I expected. I was hoping to say, "Hey, > > guile-build-system:" > > > > 1. "glab"

Re: prevent gc of texlive-...-texmf.tar.xz

2020-02-12 Thread zimoun
Hi, On Wed, 12 Feb 2020 at 13:54, Thomas Danckaert wrote: > I have limited space on my root file system, and therefore need to > run 'guix gc' regularly. One problem with that is that the texlive > source package (currently > /gnu/store/mj40l554qxw15acz0h018gk5c9mxzfgn-texlive-20180414-texmf.ta

how can I add a static IPv4 route?

2020-02-12 Thread Giovanni Biscuolo
Hello, I have a very simple networking configuration: --8<---cut here---start->8--- (service dhcp-client-service-type) --8<---cut here---end--->8--- Please how can I add a static route? (I know there is wip-netlink, but AFAI

Re: how can I add a static IPv4 route?

2020-02-12 Thread Julien Lepiller
Le 12 février 2020 13:08:46 GMT-05:00, Giovanni Biscuolo a écrit : >Hello, > >I have a very simple networking configuration: > >--8<---cut here---start->8--- >(service dhcp-client-service-type) >--8<---cut here---end--->8---

Re: prevent gc of texlive-...-texmf.tar.xz

2020-02-12 Thread Leo Famulari
On Wed, Feb 12, 2020 at 01:53:45PM +0100, Thomas Danckaert wrote: > Hi, > > I have limited space on my root file system, and therefore need to run 'guix > gc' regularly. One problem with that is that the texlive source package > (currently > /gnu/store/mj40l554qxw15acz0h018gk5c9mxzfgn-texlive-201

Re: Avoiding the garbage collector for the Guix Data Service

2020-02-12 Thread Christopher Baines
Ludovic Courtès writes: > Hi Christopher, > > Christopher Baines skribis: > >> The Guix Data Service has Guix compute lots of derivations, and then it >> loads the data in to a database. I'm having some issues with the garbage >> collector though, as sometimes it removes data from the disk befo

Re: GNOME Terminal: Horrible font after guix system reconfigure

2020-02-12 Thread Christopher Baines
Ludovic Courtès writes: > Hello! > > sirgazil skribis: > >> I have GNOME 3.32.2 now. When I launched a GNOME Terminal, I noticed that >> the font is too big and the spacing between characters seems odd: >> >> >> https://multimedialib.files.wordpress.com/2020/01/terminal-font-problem-2020-01

Re: Is this normal? /var/log/messages is ~730 MB

2020-02-12 Thread Maxim Cournoyer
Ludovic Courtès writes: > Hi, > > Maxim Cournoyer skribis: > >> Ricardo Wurmus writes: > > [...] > Guix System has a log rotation service, described here: https://guix.gnu.org/manual/en/html_node/Log-Rotation.html could you try to configure it, and see if the problem persists? >>

Re: GNOME Terminal: Horrible font after guix system reconfigure

2020-02-12 Thread Gábor Boskovits
Hello, Christopher Baines ezt írta (időpont: 2020. febr. 13., Csü 0:55): > > Ludovic Courtès writes: > > > Hello! > > > > sirgazil skribis: > > > >> I have GNOME 3.32.2 now. When I launched a GNOME Terminal, I noticed > that the font is too big and the spacing between characters seems odd: > >