Re: Kernel module arguments and custom /proc settings

2016-07-25 Thread Andreas Enge
Hello, On Sun, Jul 24, 2016 at 02:05:28PM +1000, Adam Bolte wrote: > I have a machine that always overheats running GuixSD, and I would > like the fans to constantly run at maximum until I can find a better > solution. a somewhat naive suggestion, since I did not yet try it myself: Could you use

Re: guix pull error : In procedure make_objcode_from_file: object file too small (0 bytes)

2016-07-25 Thread Ludovic Courtès
Hi, tk0 skribis: > After having to roll back from a weird situation -- in which guix developed a > problem mounting my virtual filesystem at boot -- doing a 'guix pull' > produces the following error: Could you send the whole ‘guix pull’ output, so we see the context? Does the error systemat

Re: Kernel module arguments and custom /proc settings

2016-07-25 Thread Ludovic Courtès
Hi, Adam Bolte skribis: > I have a machine that always overheats running GuixSD, and I would > like the fans to constantly run at maximum until I can find a better > solution. > > The kernel module that enables fan control is thinkpad_acpi (which is > always loaded automatically), howerver manua

Re: installing libraries

2016-07-25 Thread Ludovic Courtès
Vincent Legoll skribis: >> Which error, exactly? > > error while loading shared libraries: libncursesw.so.6: cannot open > shared object file: No such file or directory Since Guix(SD) has no notion of “standard location” for libraries, the normal way to address search path issues is via RUNPATH.

Re: Setting up plug and print on GuixSD?

2016-07-25 Thread myglc2
Leo Famulari writes: > On Sun, Jul 24, 2016 at 11:08:06PM -0400, myglc2 wrote: >> Are you asking me to try this? If so, please explain what to do. > > I don't know what to do, I've never used cups. I was just trying what > you suggested in your earlier message :) OK so the blind leading the blin

Re: Setting up plug and print on GuixSD?

2016-07-25 Thread Leo Famulari
On Sun, Jul 24, 2016 at 11:08:06PM -0400, myglc2 wrote: > Are you asking me to try this? If so, please explain what to do. I don't know what to do, I've never used cups. I was just trying what you suggested in your earlier message :) I would check the cups documentation for an explanation of how

Re: recordmydesktop doesn't work with sound.

2016-07-25 Thread Leo Famulari
On Mon, Jul 25, 2016 at 04:05:22PM +0300, Dmitry Nikolaev wrote: > On 24 July 2016 at 18:34, Leo Famulari wrote: > > > Dmitry, let me know if you want to try writing this patch or not. If > > not, I'm happy to do it :) > > > > Patch is trivial. I would be a good example for my post about writing

Re: recordmydesktop doesn't work with sound.

2016-07-25 Thread Dmitry Nikolaev
On 24 July 2016 at 18:34, Leo Famulari wrote: > Dmitry, let me know if you want to try writing this patch or not. If > not, I'm happy to do it :) > Patch is trivial. I would be a good example for my post about writing patches. Please, let my write a patch and send it. Dmitry

Re: recordmydesktop doesn't work with sound.

2016-07-25 Thread Dmitry Nikolaev
On 21 July 2016 at 23:21, Thompson, David wrote: > I don't know the answer to your question, unfortunately, but I wanted > to recommend another tool as a workaround for now: Open Broadcaster > Software. Install with 'guix package -i obs'. I like it quite a bit. > obs didn't worked for me: err

Re: recordmydesktop doesn't work with sound.

2016-07-25 Thread Dmitry Nikolaev
On 21 July 2016 at 23:50, Catonano wrote: > I second David's suggestion. Even if it worked correctly, RecordMyDesktop > is really unpleasant to use. > It gives crippled video on my hardware. I've tried --full-shot and --fps options, none helped. > When you record something, it needs to "proces