sirgazil writes:
> Hi,
>
> 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
On Thu, 09 Jan 2020 03:47:41 -0500 Christopher Baines
wrote
>
> sirgazil writes:
>
> > Hi,
> >
> > 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://multim
On Wed, 08 Jan 2020 20:16:59 -0500 Tobias Geerinckx-Rice
wrote
> Sirgazil,
>
> sirgazil 写道：
> > Maybe there is a bug with the defaults (at least with the
> > spacing)?
>
> Yes, although the spacing is simply a side-effect of a bad or
> missing default font. This is what va
Hi,
I guix pulled, reconfigured the system and upgraded my profile packages
yesterday. After rebooting, I had sound. But today, I logged out, and then
logged back in and sound was lost. Additionally, GNOME sound controls look
grayed out
(https://multimedialib.files.wordpress.com/2020/01/sound-
Hi,
>> On Jan 9, 2020, at 10:22 AM, sirgazil wrote:
> I logged out, and then logged back in and sound was lost.
I recently had to add this to modprobe.d/default.conf
options snd_hda_intel index=1
On Thu, Jan 09, 2020 at 05:27:07AM +0100, raingloom wrote:
> I'm trying to bootstrap Go for Plan 9, this should be as simple as
> setting a few environment variables and running a script, but during
> the third phase, I run into this:
>
> /home/raingloom/Projects/Plan9/go64/go-plan9-arm64-bootstra
sirgazil writes:
> I guix pulled, reconfigured the system and upgraded my profile packages
> yesterday. After rebooting, I had sound. But today, I logged out, and then
> logged back in and sound was lost. Additionally, GNOME sound controls look
> grayed out
> (https://multimedialib.files.wordpr
On Thu, 09 Jan 2020 17:10:45 -0500 Dimakakos Dimos
wrote
> sirgazil writes:
> > I guix pulled, reconfigured the system and upgraded my profile packages
> > yesterday. After rebooting, I had sound. But today, I logged out, and then
> > logged back in and sound was lost. Additional
