Re: 'static-networking' fails to start

2024-03-25 Thread Roman Riabenko via
Hello Fabio

On Mon, 2024-03-25 at 16:05 +, Fabio Natali wrote:
> I think I tried that (commenting out the default gateway part, which
> might be picked up automatically by means of Router Advertisement
> RA?). I'll definitely try again once in front of the machine and
> update the bug report with my findings.

I attest that I succeeded this weekend by following the instructions in
the latest (development) version of the guix manual without commenting
anything out. I've just finished updating the system and rebooted to
confirm that it still works with the latest updates.

I do not know what your error means but among the things that I was
unsure about I remember the following two.

First, I almost missed that "static-networking" is a data type that
must go in a list under "static-networking-service-type" as explained
in the previous example in the same manual. Instead, I also added
"%loopback-static-networking", though it produced a different error
which clearly explained that loopback is already implicitly included.

Second, I was unsure where to get the IPv6 default gateway. I tried the
"ip -6 route" command. As far as I remember, it provided a link-local
address. Though, I see both the link-local and the global address now
in the output on another autoconfigured (SLAAC) device. I just checked
the gateway address on the router instead. I included only the global
address.

The only other difference in my configuration is that I indicated a DNS
server for IPv6 too.

I hope this may help.

Roman


signature.asc
Description: This is a digitally signed message part


Re: Unlocking Gnome keychain in EXWM session

2024-02-18 Thread Roman Riabenko via
У сб, 2024-02-17 у 11:53 -0800, Ian Eure пише:
> When I log into my EXWM session, it doesn’t unlock the Gnome 
> keychain.  This causes the first program I open which needs 
> something from the keychain to prompt me to unlock it.

I use GNOME and observe the same behaviour. Maybe this issue in Guix
System is not specific to non-GNOME sessions?

Roman


signature.asc
Description: This is a digitally signed message part


Re: mobile phone with LineageOS, iodeOS, Replicant...

2024-01-16 Thread Roman Riabenko via
Hello, Hipólita!

У ср, 2024-01-10 у 08:14 -0300, Hipólita Yarona пише:
> On Tue, Jan 9, 2024 at 4:45 PM Roman Riabenko via 
> wrote:
> > У чт, 2023-12-21 у 11:42 +, Gottfried пише:
> > > which mobile phone would You support with which free software?
> > 
> > I have been using a Librem 5 device for the last five months.
> 
> Could I ask how long on average does your battery last from full
> charge to nothing? (I have a use that's similar to yours.)

Under my usual use case, the phone lasts around 12 hours on average on
a single full charge. That covers several calls, SMS, XMPP via Dino,
and some browsing when away from a computer. The worst I had was some 8
hours, which I blame on not shutting the web browser with some runway
process. The official number used to be 10 hours for battery capacity.

I hope it will be possible to run Guix System on it eventually. But I
am unsure how to aid in this.

Roman


signature.asc
Description: This is a digitally signed message part


Re: mobile phone with LineageOS, iodeOS, Replicant...

2024-01-09 Thread Roman Riabenko via
Hi Gottfried

У чт, 2023-12-21 у 11:42 +, Gottfried пише:
> which mobile phone would You support with which free software?

I have been using a Librem 5 device for the last five months. However,
I only needed phone calls, SMS messages, and XMPP chats via Dino. I
also developed a habit of constantly charging it with a portable
battery. The call quality is average, but the device was reliable.

It comes with PureOS, which is one of the FSF-approved GNU
distributions. The caveat is that the cellular modem and the chip
require some non-free firmware:
https://source.puri.sm/Librem5/community-wiki/-/wikis/Frequently-Asked-
Questions#18-what-is-respects-your-freedom-certification-and-how-close-
is-the-librem-5-to-getting-it . 

> I am sorry, my question is not about Guix, but about free software.

There have been some efforts to make the Guix System work on Librem 5.
I am learning to install a distribution on it and potentially test
something for Guix. If anyone here has any suggestions, I am open to
any experiments! I have noticed that Purism uses some development tools
for flashing that are missing in Guix.

> Or is there a website or a forum which would be able to help?

If your question is still relevant, you may want to take a look at
https://forums.puri.sm/c/hw/l5/ . The authors own various mobile
devices, not only from Purism, and are eager to tell about it. Beware
that some focus more on what they perceive as security rather than on
freedom.

> I will hopefully get a job and I need a mobile phone for it.

It depends on your job expectations. I have a separate phone for
clients who demand me to use non-free software for communication.
However, if you need only a phone number, you do not necessarily need a
smartphone.

Roman


signature.asc
Description: This is a digitally signed message part


Re: Laptop won’t boot after Guix install

2024-01-09 Thread Roman Riabenko via
Hi Felix

У вт, 2024-01-09 у 05:53 -0800, Felix Lechner пише:
> On Mon, Jan 08 2024, Roman Riabenko via wrote:
> > You might want to try enabling it [secure boot]
> 
> I do not recommend Secure Boot for average Linux users. It tends to
> create more problems and may not provide the security you expect.

Just to be clear, I do not promote the use of "Secure Boot" in any way.
Instead, I suggest looking again into different options in the firmware
settings and trying some of them, even if they seem irrelevant.
Unfortunately, the firmware is often poorly designed and non-free. In
my anecdotal case, it is possible to edit boot options by specifying
paths from within the EUFI setup only when the "Secure Boot" is on.
Otherwise, the option is not merely greyed out but is absent
altogether. It is also named inappropriately. After configuring the
boot options, I turn off the "Secure Boot" by emptying its password.
Hopefully, the firmware is not this broken on the device which Ian is
trying to use, but I try to be helpful.

Roman


signature.asc
Description: This is a digitally signed message part


Re: Laptop won’t boot after Guix install

2024-01-08 Thread Roman Riabenko via
У пт, 2024-01-05 у 19:41 -0800, Ian Eure пише:
> ... After the Guix install, 
> the laptop doesn’t boot -- the firmware shows a boot device 
> selection menu, rather than bootint into Guix. ...

Sometimes, the installer makes a BIOS-compatible installation which
fails to run from UEFI. The fix might be as simple as choosing a
different USB boot option before running the installer. I typically
have two boot options before running the installer from the USB: one is
for UEFI, while the other is for BIOS. When the firmware supports both
options, they are available, and the BIOS installer is usually the
default. Another approach is to tweak your firmware settings to disable
CMS (Compatibility Support Mode) and other compatibility features so
that only the UEFI installer is available and try re-installing Guix to
ensure it installs UEFI. Please note that I am neither a developer nor
administrator, but just a user who shares experience as I understand
it.

> Secure boot is disabled in the BIOS.

You might want to try enabling it and see if any other options become
available in the firmware settings. For example, if I reset my laptop
firmware, all boot options are usually gone. I need to enable secure
boot and choose "Select a UEFI file as trusted", which becomes
available only with secure boot enabled. I can add a path to a ".efi"
file there.


I hope you solve it soon!

Roman



signature.asc
Description: This is a digitally signed message part


Re: Evolution can't connect to mail server

2023-10-05 Thread Roman Riabenko via
У чт, 2023-10-05 у 09:29 -0700, Caleb Herbert пише:
> Guix System, GNOME.
> 
> Configured email in Settings > Online Accounts > IMAP and SMTP.
> 
> Launched Evolution. Set up email with startup wizard. 
> 
> Error:
> 
> The name org.gnome.evolution.dataserver.Sources5 was not provided by
> any .service files
> 
> No mail.
> 

Is evolution-data-server installed too?

Roman


signature.asc
Description: This is a digitally signed message part


Re: Git error: object not found when running guix system reconfigure

2023-09-24 Thread Roman Riabenko via
У нд, 2023-09-24 у 14:02 +0200, Sergiu Ivanov пише:
> > Does this happen to anyone else?
> > 
> > Do you think it is something transient which I just have to wait
> > out,
> > or
> > did I accidentally break something on my machine? (unfair question,
> > obviously :D)

Hi, Sergiu. A few more users reported similar issues. There is an open
report for it at: https://issues.guix.gnu.org/66169

So, it does not seem to be a simple misconfiguration, unfortunately.

Roman






signature.asc
Description: This is a digitally signed message part


URLs of substitutes

2023-09-14 Thread Roman Riabenko via
Hello

Is it possible to get a URL for a substitute, for example for the Linux
kernel?

I am trying to troubleshoot connection to a substitute sever with my
tunnel broker, which is slow for this server for some reason and
eventually times out when running `guix system reconfigure
/etc/config.scm`. I considered showing wget output to the technical
support as an example but do not know how to find the URL.

Roman


signature.asc
Description: This is a digitally signed message part


Re: How to delete per-user profiles

2023-08-29 Thread Roman Riabenko via
У сб, 2023-08-26 у 09:13 +0300, Roman Riabenko пише:
> У пт, 2023-08-25 у 17:01 -0300, Jorge пише:
> > I have removed (via Gnome Settings) user `jorge-morais' from my
> > Gentoo GNU/Linux system, but its Guix profiles remain.  
> 
> If you only remove a user from GNOME Settings without removing it
> from
> the system configuration file, the user will re-appear in GNOME
> Settings on reboot or the next time the system is reconfigured and a
> home directory will be created for it if it was removed. (Such user
> would not appear in the login screen because the user is only re-
> created but not activated. The activation can be done in GNOME
> Settings.) Instead, to remove a user, you should remove its "user-
> account" form from the system configuration file [1] and reconfigure
> the system. You have to handle the user files yourself, e.g. remove
> the
> user's home directory. If you are also adding a user, you would want
> to
> do that in the configuration file too.
> 
> [1]:
> https://guix.gnu.org/en/manual/devel/en/html_node/User-Accounts.html

Sorry, I've just noticed that you are on Gentoo, not a Guix System, so
you manage the users from Gentoo, not from the guix configuration file.

> > How do I remove them, so Guix GC can clean the store?  Can I simply
> > remove the directory `/var/guix/profiles/per-user/jorge-morais' ?
> 
> Those links are not removed automatically, so that directory needs to
> be removed by hand. When the links are removed and eventually you run
> "guix gc", it removes the unused profiles in the store.

This still applies.

Roman


signature.asc
Description: This is a digitally signed message part


Re: How to delete per-user profiles

2023-08-29 Thread Roman Riabenko via
У пт, 2023-08-25 у 17:01 -0300, Jorge пише:
> I have removed (via Gnome Settings) user `jorge-morais' from my
Gentoo GNU/Linux system, but its Guix profiles remain.  

If you only remove a user from GNOME Settings without removing it from
the system configuration file, the user will re-appear in GNOME
Settings on reboot or the next time the system is reconfigured and a
home directory will be created for it if it was removed. (Such user
would not appear in the login screen because the user is only re-
created but not activated. The activation can be done in GNOME
Settings.) Instead, to remove a user, you should remove its "user-
account" form from the system configuration file [1] and reconfigure
the system. You have to handle the user files yourself, e.g. remove the
user's home directory. If you are also adding a user, you would want to
do that in the configuration file too.

[1]:
https://guix.gnu.org/en/manual/devel/en/html_node/User-Accounts.html

> How do I remove them, so Guix GC can clean the store?  Can I simply
remove the directory `/var/guix/profiles/per-user/jorge-morais' ?

Those links are not removed automatically, so that directory needs to
be removed by hand. When the links are removed and eventually you run
"guix gc", it removes the unused profiles in the store.

Roman









signature.asc
Description: This is a digitally signed message part