Re: input sources

2017-02-20 Thread Catonano
2017-02-21 8:27 GMT+01:00 Catonano : > Rennes, > > 2017-02-21 5:09 GMT+01:00 : > >> Hi, >> >> To configure Input Sources try: >> * All Settings >> * Region & Language >> * Input Sources-> select plus button -> click on vertical points -> click >> on Other. >> And you can see a list of values. >> >

Re: input sources

2017-02-20 Thread Catonano
Rennes, 2017-02-21 5:09 GMT+01:00 : > Hi, > > To configure Input Sources try: > * All Settings > * Region & Language > * Input Sources-> select plus button -> click on vertical points -> click > on Other. > And you can see a list of values. > The window that comes up after pressing the vertical

Re: input sources

2017-02-20 Thread rennes
Hi, To configure Input Sources try: * All Settings * Region & Language * Input Sources-> select plus button -> click on vertical points -> click on Other. And you can see a list of values. Regards In my brand new GuixSD installation (awesome !) there are no input sources in the (Region and

Re: Proxy documentation is not clear

2017-02-20 Thread Leo Famulari
On Sun, Feb 19, 2017 at 05:06:23PM +, ng0 wrote: > Substitutes are downloaded over HTTP or HTTPS. The http_proxy > environment variable can be set in the environment of guix-daemon and > is honored for downloads of substitutes. Note that the value of > http_proxy in the environment where guix b

Re: input sources

2017-02-20 Thread Catonano
on the "newcomers" channel on the Gnome irc server, it was suggested to me that the ibus configuration must be broken or missing Because the input sources functionality depends on that. Is ibus included in the base services ? 2017-02-20 19:47 GMT+01:00 Catonano : > In my brand new GuixSD insta

Gnome version

2017-02-20 Thread Catonano
As I wrote already, I system reconfigured right after installation of GuixSD 0.12 I noticed that the version of Gnome in the packages definition is 3.22 but the version showing up in the "Details" component of the Gnome control panel is 3.0 How come ? Thanks again.

Re: input sources

2017-02-20 Thread ng0
On 17-02-20 19:47:29, Catonano wrote: > In my brand new GuixSD installation (awesome !) there are no input sources > in the (Region and language) Gnome desktop control panel ? > > So I can' t fix my keyboard layout. > > I guix system reconfigured right after installing GuixSD 0.12 > > Thanks for

Re: input sources

2017-02-20 Thread Catonano
2017-02-20 20:36 GMT+01:00 ng0 : > On 17-02-20 19:47:29, Catonano wrote: > > In my brand new GuixSD installation (awesome !) there are no input > sources > > in the (Region and language) Gnome desktop control panel ? > > > > So I can' t fix my keyboard layout. > > > > I guix system reconfigured ri

input sources

2017-02-20 Thread Catonano
In my brand new GuixSD installation (awesome !) there are no input sources in the (Region and language) Gnome desktop control panel ? So I can' t fix my keyboard layout. I guix system reconfigured right after installing GuixSD 0.12 Thanks for any hint

ASDF 2 and 3

2017-02-20 Thread Jack Lucas
I really don't know how to describe this issue. I can't actually pinpoint where the problem is even though I've spent almost all day pulling my hair out over it. When installing CCL guix will pull version 1.11 from the server to install. Version 1.11 is built with ASDF3.1.5 but after installing