Re: mount store in a separated partition

2019-07-04 Thread Jesse Gibbons
Though I'm not as familiar with this issue, I think I can help.
GRUB is looking for the kernel and other boot info in your OS's root
partition, /dev/vda1. However, your actual kernel is in /dev/sda1. To
get GRUB to boot properly, you need to specify in grub.cfg to look
in /dev/sda1. I do not know if it is possible to do this in a guix
configuration, and am too tired right now to do the research to explain
it (11:30PM local), but I hope this is a good start.

On Fri, 05 Jul 2019 01:10:35 +0430
"Reza Alizadeh Majd"  wrote:

> Hi Guix, 
> 
> I want to try `/gnu/store` to a separated partition, which has more
> capacity for packages, for this I use following configuration:
> 
> --8<---cut here---start->8---
> (operating-system
>   ...
>   (bootloader (bootloader-configuration
> (bootloader grub-bootloader)
> (target "/dev/vda")))
>   (file-systems (cons* (file-system
> (device "/dev/vda1")
> (mount-point "/")
> (type "ext4"))
>(file-system
> (device "/dev/sda1")
> (mount-point "/gnu/store")
> (needed-for-boot? #t)
> (type "ext4")
> (create-mount-point? #t))
>   %base-file-systems))
>   ...
> --8<---cut here---end--->8---
> 
> but using this configuration, GRUB theme wont boot correctly and I
> receive following error during boot: 
> 
> --8<---cut here---start->8---
> error: no such device:
> /gnu/store/...-linux-libre-5.1.16/bzImage.
> error: file
> `/gnu/store/...-linux-libre-5.1.16/bzImage` not found.
> error: you need to load the kernel first.
> 
> Press any key to continue...
> --8<---cut here---end--->8---
> 
> could anyone help me on this matter? 
> 
> Thanks,
> Reza
> 




Re: switch off cpu fan on lenovo g50-30

2019-07-04 Thread pelzflorian (Florian Pelz)
On Thu, Jul 04, 2019 at 08:50:19PM +, zna...@disroot.org wrote:
> yes. I ran, but thinkfan cannot use module:
> 
> […]
>
> should I somehow define this modules file in thinkfan.conf?
> 
> 

This is strange.  I can only do a Web search because I own no
Thinkpad.  I find

http://forum.notebookreview.com/threads/ubuntu-question-t420.603272/

They say:

“The cause: the file /proc/acpi/ibm/thermal no longer exists in the
affected models. The temperature sensors are moved to another location
in the sysfs thinkfan and she does not recognize.”

They point to a different sensor line in thinkfan.conf.

I assume thinkfan_acpi is listed in lsmod.

A bad alternative would be that you try using a different kernel version.

Regards,
Florian



Re: bug#36498: modem["ttyUSB0"]: error starting PPP: Could not find "pppd" binary

2019-07-04 Thread pelzflorian (Florian Pelz)
On Thu, Jul 04, 2019 at 06:08:55PM +0200, pelzflorian (Florian Pelz) wrote:
> On Thu, Jul 04, 2019 at 04:46:32PM +0200, pelzflorian (Florian Pelz) wrote:
> > (git
> reset --hard master, then git am this-new-patch and reconfigure.)
>

Sorry, I meant to write `git reset --hard master^` with a ^ to get rid
of the previous patch.

I would be much obliged if you could test, because my modem works
without NetworkManager needing to find pppd.

Regards,
Florian



Re: switch off cpu fan on lenovo g50-30

2019-07-04 Thread znavko
yes. I ran, but thinkfan cannot use module:

# modprobe thinkpad_acpi fan_control=1
# 
# thinkfan

ERROR: SensorDriver: Initializing fan control in /proc/acpi/ibm/thermal: No 
such file or directory


Say me how to type thinkpad.conf to use thinkpad_acpi module?

# modinfo thinkpad_acpi
filename:   
/run/booted-system/kernel/lib/modules/5.1.15-gnu/kernel/drivers/platform/x86/thinkpad_acpi.ko
license:GPL
version:0.26
description:ThinkPad ACPI Extras
author: Henrique de Moraes Holschuh 
author: Borislav Deianov 
alias:  dmi:bvnIBM:bvrI[MU]ET??WW*
alias:  tpacpi
srcversion: 0CECBC9452E671846F915F0
alias:  acpi*:LEN0268:*
alias:  acpi*:LEN0068:*
alias:  acpi*:IBM0068:*
depends:snd,video,ledtrig-audio,nvram
retpoline:  Y
intree: Y
name:   thinkpad_acpi
vermagic:   5.1.15-gnu SMP mod_unload modversions 



should I somehow define this modules file in thinkfan.conf?


July 4, 2019 8:28 PM, "pelzflorian (Florian Pelz)"  
wrote:

> On Thu, Jul 04, 2019 at 08:13:44PM +, zna...@disroot.org wrote:
> 
>> As there [1] said have no fan control module:
> 
> I assume you did try the modprobe command from the message:
> 
> https://lists.gnu.org/archive/html/guix-devel/2016-04/msg01231.html
> 
> Regards,
> Florian



mount store in a separated partition

2019-07-04 Thread Reza Alizadeh Majd
Hi Guix, 

I want to try `/gnu/store` to a separated partition, which has more capacity 
for packages, for this I use following configuration:

--8<---cut here---start->8---
(operating-system
  ...
  (bootloader (bootloader-configuration
(bootloader grub-bootloader)
(target "/dev/vda")))
  (file-systems (cons* (file-system
(device "/dev/vda1")
(mount-point "/")
(type "ext4"))
   (file-system
(device "/dev/sda1")
(mount-point "/gnu/store")
(needed-for-boot? #t)
(type "ext4")
(create-mount-point? #t))
  %base-file-systems))
  ...
--8<---cut here---end--->8---

but using this configuration, GRUB theme wont boot correctly and I receive 
following error during boot: 

--8<---cut here---start->8---
error: no such device:
/gnu/store/...-linux-libre-5.1.16/bzImage.
error: file
`/gnu/store/...-linux-libre-5.1.16/bzImage` not found.
error: you need to load the kernel first.

Press any key to continue...
--8<---cut here---end--->8---

could anyone help me on this matter? 

Thanks,
Reza



Re: switch off cpu fan on lenovo g50-30

2019-07-04 Thread pelzflorian (Florian Pelz)
On Thu, Jul 04, 2019 at 08:13:44PM +, zna...@disroot.org wrote:
> As there [1] said  have no fan control module:
> 

I assume you did try the modprobe command from the message:

https://lists.gnu.org/archive/html/guix-devel/2016-04/msg01231.html

Regards,
Florian



Re: switch off cpu fan on lenovo g50-30

2019-07-04 Thread znavko
As there [1] said  have no fan control module:

 pwm_fan sysfs-path

Control a sysfs PWM fan. Many hwmon drivers that provide a `temp*_input' 
file also allow fan control, although there may also be drivers that are 
specific to either temperature reading or fan control. You can search for a PWM 
control file e.g. with `find /sys -type f -name "pwm?"'. Note that with PWM, 
fan levels usually range from 0 to 255, although besides a file like `pwm1' 
there may also be `pwm1_min' and `pwm1_max' that specify different (soft or 
recommended?) limits for a particular fan.


# find /sys -type f -name "pwm?"
#
# find /sys -type f -name "pwm*"
# 

Have you on your linux-libre?

[1] https://www.mankier.com/5/thinkfan.conf

July 4, 2019 5:24 PM, "Efraim Flashner"  wrote:

> I often turn to Debian when I have a problem like this one. In the
> source (I assume in ours and not just in theirs) There's an example
> folder with two example configs¹ so I'd suggest checking them out and
> seeing if they look right.
> 
> ¹https://sources.debian.org/src/thinkfan/0.9.3-2/examples
> 
> -- 
> Efraim Flashner  אפרים פלשנר
> GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351
> Confidentiality cannot be guaranteed on emails sent or received unencrypted



Re: switch off cpu fan on lenovo g50-30

2019-07-04 Thread znavko
With thinkfan.conf.simple having this:

# thinkfan

ERROR: TpFanDriver: Initializing fan control in /proc/acpi/ibm/fan: No such 
file or directory


With  thinkfan.conf.complex this:

# thinkfan

ERROR: SensorDriver: Initializing fan control in /proc/acpi/ibm/thermal: No 
such file or directory


Linux-libre has no fan control module for lenovo g50-30. How to get it?


July 4, 2019 5:24 PM, "Efraim Flashner"  wrote:

> I often turn to Debian when I have a problem like this one. In the
> source (I assume in ours and not just in theirs) There's an example
> folder with two example configs¹ so I'd suggest checking them out and
> seeing if they look right.
> 
> ¹https://sources.debian.org/src/thinkfan/0.9.3-2/examples
> 
> -- 
> Efraim Flashner  אפרים פלשנר
> GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351
> Confidentiality cannot be guaranteed on emails sent or received unencrypted



Re: switch off cpu fan on lenovo g50-30

2019-07-04 Thread Efraim Flashner
I often turn to Debian when I have a problem like this one. In the
source (I assume in ours and not just in theirs) There's an example
folder with two example configs¹ so I'd suggest checking them out and
seeing if they look right.

¹https://sources.debian.org/src/thinkfan/0.9.3-2/examples/


-- 
Efraim Flashner  אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted


signature.asc
Description: PGP signature


Re: bug#36498: modem["ttyUSB0"]: error starting PPP: Could not find "pppd" binary

2019-07-04 Thread pelzflorian (Florian Pelz)
On Thu, Jul 04, 2019 at 04:46:32PM +0200, pelzflorian (Florian Pelz) wrote:
> I suppose the attached patch could help.  It builds, but I could not
> test.
> 
> Adam, could you try it?  Just follow the Guix manual’s instructions on
> Contributing and `git am the-attached-patch`.
> 

Only if ./pre-inst-env guix system reconfigure with the patch before
is not sufficient, could you try the one attached here instead?  (git
reset --hard master, then git am this-new-patch and reconfigure.)

Regards,
Florian
>From 6eea4f17af471a85dd89adce3acb895fc0fd341f Mon Sep 17 00:00:00 2001
From: Florian Pelz 
Date: Thu, 4 Jul 2019 17:56:34 +0200
Subject: [PATCH] gnu: network-manager: Add ppp input, configure flag and
 substitute to use it.

* gnu/packages/gnome.scm (network-manager): Add them.
---
 gnu/packages/gnome.scm | 11 +--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index 2820be0022..9ab0d15df6 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -5313,6 +5313,9 @@ users.")
(("systemd") "elogind"))
  (substitute* "./src/nm-logging.c"
(("systemd") "elogind"))
+ (substitute* "src/ppp/nm-ppp-manager.c"
+   (("nm_utils_find_helper \\(\"pppd\".*")
+"PPPD_PATH;"))
  #t
 (build-system gnu-build-system)
 (outputs '("out"
@@ -5322,7 +5325,9 @@ users.")
(let ((out  (assoc-ref %outputs "out"))
  (doc  (assoc-ref %outputs "doc"))
  (dhclient (string-append (assoc-ref %build-inputs "isc-dhcp")
-  "/sbin/dhclient")))
+  "/sbin/dhclient"))
+ (pppd (string-append (assoc-ref %build-inputs "ppp")
+  "/sbin/pppd")))
  (list "--with-systemd-logind=yes" ;In Guix System, this is provided 
by elogind.
"--with-consolekit=no"
"--with-crypto=gnutls"
@@ -5335,7 +5340,8 @@ users.")
   out "/etc/dbus-1/system.d")
(string-append "--with-html-dir="
   doc "/share/gtk-doc/html")
-   (string-append "--with-dhclient=" dhclient)))
+   (string-append "--with-dhclient=" dhclient)
+   (string-append "--with-pppd=" pppd)))
#:phases
(modify-phases %standard-phases
  (add-before 'configure 'pre-configure
@@ -5395,6 +5401,7 @@ users.")
("libxslt" ,libxslt)
("libxml2" ,libxml2)
("pkg-config" ,pkg-config)
+   ("ppp" ,ppp)
;; For testing.
("python" ,python-wrapper)
("python-dbus" ,python-dbus)
-- 
2.22.0



modem["ttyUSB0"]: error starting PPP: Could not find "pppd" binary

2019-07-04 Thread pelzflorian (Florian Pelz)
On Thu, Jul 04, 2019 at 03:48:11PM +0200, Adam Mazurkiewicz wrote:
> I am geeting the error
> 
> modem["ttyUSB0"]: error starting PPP: Could not find "pppd" binary
> 
> when choosing a modem connection i nm.
> 
> Here you are details:
> 
> s@s:~$ cat ~/Dropbox/Guix/export/txt/grep1
> Jul  4 14:50:04 localhost ModemManager[419]:   (ttyUSB0): port
> attributes not fully set
> Jul  4 14:50:04 localhost ModemManager[419]:   (ttyUSB1): port
> attributes not fully set
> Jul  4 14:50:07 localhost ModemManager[419]:   (ttyUSB1): port
> attributes not fully set
> Jul  4 14:50:13 localhost ModemManager[419]:   Could not grab
> port (usbmisc/cdc-wdm2): 'Cannot add port 'usbmisc/cdc-wdm2',
> unsupported'
> Jul  4 14:50:13 localhost ModemManager[419]:   (ttyUSB0): port
> attributes not fully set
> Jul  4 14:50:17 localhost ModemManager[419]:   couldn't load
> list of Own Numbers: 'Not found'
> Jul  4 14:50:18 localhost ModemManager[419]:   (ttyUSB0): port
> attributes not fully set
> Jul  4 14:50:41 localhost ModemManager[419]:   (ttyUSB1): port
> attributes not fully set
> Jul  4 14:50:41 localhost NetworkManager[325]: 
> [1562244641.5798] device (ttyUSB0): ip-ifname: set ifname 'ttyUSB1',
> unknown ifindex
> Jul  4 14:50:41 localhost NetworkManager[325]: 
> [1562244641.5806] device (ttyUSB0): interface ttyUSB1 not up for IP
> configuration
> Jul  4 14:50:41 localhost NetworkManager[325]: 
> [1562244641.5826] modem["ttyUSB0"]: error starting PPP: Could not find
> "pppd" binary
> Jul  4 14:50:41 localhost NetworkManager[325]: 
> [1562244641.5838] device (ttyUSB0): Activation: failed for connection
> 'Orange Standard access - with image compression'
> Jul  4 14:50:42 localhost ModemManager[419]:   (ttyUSB1): port
> attributes not fully set
> s@s:~$
> 
> s@s:~$ cat ~/Dropbox/Guix/export/txt/messages
> (...)
> Jul  4 14:50:03 localhost shepherd[1]: Service xorg-server has been started.
> Jul  4 14:50:03 localhost vmunix: [4.581161] option 1-2:1.0: GSM
> modem (1-port) converter detected
> Jul  4 14:50:03 localhost vmunix: [4.589076] usb 1-2: GSM modem
> (1-port) converter now attached to ttyUSB0
> Jul  4 14:50:03 localhost vmunix: [4.589145] option 1-2:1.1: GSM
> modem (1-port) converter detected
> Jul  4 14:50:03 localhost vmunix: [4.589235] usb 1-2: GSM modem
> (1-port) converter now attached to ttyUSB1
> Jul  4 14:50:03 localhost vmunix: [4.618852] kvm: disabled by bios
> Jul  4 14:50:03 localhost vmunix: [4.622803] intel_powerclamp: No
> package C-state available
> Jul  4 14:50:03 localhost vmunix: [4.643252] sr 7:0:0:0: [sr0]
> tag#0 FAILED Result: hostbyte=DID_OK driverbyte=DRIVER_SENSE
> Jul  4 14:50:03 localhost vmunix: [4.643256] sr 7:0:0:0: [sr0]
> tag#0 Sense Key : Medium Error [current]
> Jul  4 14:50:03 localhost vmunix: [4.643258] sr 7:0:0:0: [sr0]
> tag#0 Add. Sense: Unrecovered read error
> Jul  4 14:50:03 localhost vmunix: [4.643262] sr 7:0:0:0: [sr0]
> tag#0 CDB: Read(10) 28 00 00 00 8c 80 00 00 3c 00
> Jul  4 14:50:03 localhost vmunix: [4.643264] print_req_error:
> critical medium error, dev sr0, sector 143872 flags 80700
> Jul  4 14:50:03 localhost vmunix: [4.681836] r8169 :02:00.0
> enp2s0: renamed from eth0
> Jul  4 14:50:03 localhost vmunix: [4.683250] random: crng init done
> Jul  4 14:50:03 localhost vmunix: [4.683253] random: 7 urandom
> warning(s) missed due to ratelimiting
> Jul  4 14:50:02 localhost avahi-daemon[332]: Loading service file
> /services/sftp-ssh.service.
> Jul  4 14:50:03 localhost vmunix: [4.689711] lm90 3-004c: 3-004c
> supply vcc not found, using dummy regulator
> Jul  4 14:50:03 localhost vmunix: [4.690028] huawei_cdc_ncm
> 1-2:1.2: resetting NTB format to 16-bit
> Jul  4 14:50:03 localhost vmunix: [4.690068] gpio_ich
> gpio_ich.1.auto: GPIO from 451 to 511
> Jul  4 14:50:03 localhost vmunix: [4.690368] huawei_cdc_ncm
> 1-2:1.2: MAC-Address: 00:1e:10:1f:00:00
> Jul  4 14:50:03 localhost vmunix: [4.690371] huawei_cdc_ncm
> 1-2:1.2: setting rx_max = 16384
> Jul  4 14:50:03 localhost vmunix: [4.691083] iTCO_vendor_support:
> vendor-support=0
> Jul  4 14:50:03 localhost vmunix: [4.693305] iTCO_wdt: Intel TCO
> WatchDog Timer Driver v1.11
> Jul  4 14:50:03 localhost vmunix: [4.693345] iTCO_wdt: Found a
> ICH9R TCO device (Version=2, TCOBASE=0x0860)
> Jul  4 14:50:03 localhost vmunix: [4.694250] iTCO_wdt:
> initialized. heartbeat=30 sec (nowayout=0)
> Jul  4 14:50:03 localhost vmunix: [4.697758] huawei_cdc_ncm
> 1-2:1.2: NDP will be placed at end of frame for this device.
> Jul  4 14:50:03 localhost vmunix: [4.697832] huawei_cdc_ncm
> 1-2:1.2: cdc-wdm2: USB WDM device
> Jul  4 14:50:03 localhost vmunix: [4.697874] sr 7:0:0:0: [sr0]
> tag#0 FAILED Result: hostbyte=DID_OK driverbyte=DRIVER_SENSE
> Jul  4 14:50:03 localhost vmunix: [4.697877] sr 7:0:0:0: [sr0]
> tag#0 Sense Key : Medium Error [current]
> Jul  4 14:50:02 localhost dbus-daemon[322]: [system] Activating
> 

Re: guix pull behind proxy not working

2019-07-04 Thread martin
> Could you try "https" instead of "http"? That is "https://ipaddress:por
> t". Because,based on this report (https://issues.guix.gnu.org/issue/228
> 83), I think "guix pull" uses https by default now.

My proxy uses the same definition entry "http://…; for all the
environment variables http_proxy, https_proxy, ftp_proxy. And in
config.scm, there is only one field "http-proxy" which can be specified.
So unfortunately, this does not help. The strange thing is that during
`guix install` it also downloads from https without problems. 

−Martin



modem["ttyUSB0"]: error starting PPP: Could not find "pppd" binary

2019-07-04 Thread Adam Mazurkiewicz
I am geeting the error

modem["ttyUSB0"]: error starting PPP: Could not find "pppd" binary

when choosing a modem connection i nm.

Here you are details:

s@s:~$ cat ~/Dropbox/Guix/export/txt/grep1
Jul  4 14:50:04 localhost ModemManager[419]:   (ttyUSB0): port
attributes not fully set
Jul  4 14:50:04 localhost ModemManager[419]:   (ttyUSB1): port
attributes not fully set
Jul  4 14:50:07 localhost ModemManager[419]:   (ttyUSB1): port
attributes not fully set
Jul  4 14:50:13 localhost ModemManager[419]:   Could not grab
port (usbmisc/cdc-wdm2): 'Cannot add port 'usbmisc/cdc-wdm2',
unsupported'
Jul  4 14:50:13 localhost ModemManager[419]:   (ttyUSB0): port
attributes not fully set
Jul  4 14:50:17 localhost ModemManager[419]:   couldn't load
list of Own Numbers: 'Not found'
Jul  4 14:50:18 localhost ModemManager[419]:   (ttyUSB0): port
attributes not fully set
Jul  4 14:50:41 localhost ModemManager[419]:   (ttyUSB1): port
attributes not fully set
Jul  4 14:50:41 localhost NetworkManager[325]: 
[1562244641.5798] device (ttyUSB0): ip-ifname: set ifname 'ttyUSB1',
unknown ifindex
Jul  4 14:50:41 localhost NetworkManager[325]: 
[1562244641.5806] device (ttyUSB0): interface ttyUSB1 not up for IP
configuration
Jul  4 14:50:41 localhost NetworkManager[325]: 
[1562244641.5826] modem["ttyUSB0"]: error starting PPP: Could not find
"pppd" binary
Jul  4 14:50:41 localhost NetworkManager[325]: 
[1562244641.5838] device (ttyUSB0): Activation: failed for connection
'Orange Standard access - with image compression'
Jul  4 14:50:42 localhost ModemManager[419]:   (ttyUSB1): port
attributes not fully set
s@s:~$

s@s:~$ cat ~/Dropbox/Guix/export/txt/messages
(...)
Jul  4 14:50:03 localhost shepherd[1]: Service xorg-server has been started.
Jul  4 14:50:03 localhost vmunix: [4.581161] option 1-2:1.0: GSM
modem (1-port) converter detected
Jul  4 14:50:03 localhost vmunix: [4.589076] usb 1-2: GSM modem
(1-port) converter now attached to ttyUSB0
Jul  4 14:50:03 localhost vmunix: [4.589145] option 1-2:1.1: GSM
modem (1-port) converter detected
Jul  4 14:50:03 localhost vmunix: [4.589235] usb 1-2: GSM modem
(1-port) converter now attached to ttyUSB1
Jul  4 14:50:03 localhost vmunix: [4.618852] kvm: disabled by bios
Jul  4 14:50:03 localhost vmunix: [4.622803] intel_powerclamp: No
package C-state available
Jul  4 14:50:03 localhost vmunix: [4.643252] sr 7:0:0:0: [sr0]
tag#0 FAILED Result: hostbyte=DID_OK driverbyte=DRIVER_SENSE
Jul  4 14:50:03 localhost vmunix: [4.643256] sr 7:0:0:0: [sr0]
tag#0 Sense Key : Medium Error [current]
Jul  4 14:50:03 localhost vmunix: [4.643258] sr 7:0:0:0: [sr0]
tag#0 Add. Sense: Unrecovered read error
Jul  4 14:50:03 localhost vmunix: [4.643262] sr 7:0:0:0: [sr0]
tag#0 CDB: Read(10) 28 00 00 00 8c 80 00 00 3c 00
Jul  4 14:50:03 localhost vmunix: [4.643264] print_req_error:
critical medium error, dev sr0, sector 143872 flags 80700
Jul  4 14:50:03 localhost vmunix: [4.681836] r8169 :02:00.0
enp2s0: renamed from eth0
Jul  4 14:50:03 localhost vmunix: [4.683250] random: crng init done
Jul  4 14:50:03 localhost vmunix: [4.683253] random: 7 urandom
warning(s) missed due to ratelimiting
Jul  4 14:50:02 localhost avahi-daemon[332]: Loading service file
/services/sftp-ssh.service.
Jul  4 14:50:03 localhost vmunix: [4.689711] lm90 3-004c: 3-004c
supply vcc not found, using dummy regulator
Jul  4 14:50:03 localhost vmunix: [4.690028] huawei_cdc_ncm
1-2:1.2: resetting NTB format to 16-bit
Jul  4 14:50:03 localhost vmunix: [4.690068] gpio_ich
gpio_ich.1.auto: GPIO from 451 to 511
Jul  4 14:50:03 localhost vmunix: [4.690368] huawei_cdc_ncm
1-2:1.2: MAC-Address: 00:1e:10:1f:00:00
Jul  4 14:50:03 localhost vmunix: [4.690371] huawei_cdc_ncm
1-2:1.2: setting rx_max = 16384
Jul  4 14:50:03 localhost vmunix: [4.691083] iTCO_vendor_support:
vendor-support=0
Jul  4 14:50:03 localhost vmunix: [4.693305] iTCO_wdt: Intel TCO
WatchDog Timer Driver v1.11
Jul  4 14:50:03 localhost vmunix: [4.693345] iTCO_wdt: Found a
ICH9R TCO device (Version=2, TCOBASE=0x0860)
Jul  4 14:50:03 localhost vmunix: [4.694250] iTCO_wdt:
initialized. heartbeat=30 sec (nowayout=0)
Jul  4 14:50:03 localhost vmunix: [4.697758] huawei_cdc_ncm
1-2:1.2: NDP will be placed at end of frame for this device.
Jul  4 14:50:03 localhost vmunix: [4.697832] huawei_cdc_ncm
1-2:1.2: cdc-wdm2: USB WDM device
Jul  4 14:50:03 localhost vmunix: [4.697874] sr 7:0:0:0: [sr0]
tag#0 FAILED Result: hostbyte=DID_OK driverbyte=DRIVER_SENSE
Jul  4 14:50:03 localhost vmunix: [4.697877] sr 7:0:0:0: [sr0]
tag#0 Sense Key : Medium Error [current]
Jul  4 14:50:02 localhost dbus-daemon[322]: [system] Activating
service name='org.freedesktop.Accounts' requested by ':1.5' (uid=0
pid=385 comm="/gnu/store/x5jax3ic5369zvq4b2f9b0k7zgg45hg3-gdm-3.")
(using servicehelper)
Jul  4 14:50:03 localhost vmunix: [4.697879] sr 7:0:0:0: [sr0]
tag#0 Add. Sense: Unrecovered read error
Jul  4 

Re: guix pull behind proxy not working

2019-07-04 Thread Raghav Gururajan


> 
> (define %my-services
>   (modify-services %desktop-services
> (guix-service-type config =>
>(guix-configuration
> (inherit config)
> (http-proxy "http://:;")
> 

Could you try "https" instead of "http"? That is "https://ipaddress:por
t". Because,based on this report (https://issues.guix.gnu.org/issue/228
83), I think "guix pull" uses https by default now.

Regards,
RG.



Re: guix pull behind proxy not working

2019-07-04 Thread znavko
If you want any idea, I use freevpn.me and vpnbook.com accounts with 'openvpn' 
package. All guix commands download normally. And in terminal I have vpn ip 
(for freevpn.me):

$ curl ifconfig.io
51.15.151.165

But really I am not sure which is my ip when guix downloads.


July 4, 2019 12:53 PM, mar...@famic.de wrote:

> Hi there!
> 
> This is my first contact with Guix System and I managed to install it as
> Virtualbox guest system behind a corporate proxy. Well, this was already
> quite a challenge and succeeded only due the workaround
> (https://guix-devel.gnu.narkive.com/k3oBoFqW/changing-http-proxy-settings-in-guixsd),
> but now `guix install` works, I can install new packages (given a
> warning about never calling `guix pull`). However, calling `guix pull`
> and `guix system reconfigure` still fails due to unreachable network.
> Does it need different proxy settings? What can I do?
> 
> Here is the guix-configuration part of my /etc/config.scm (omitting my
> proxy address details):
> 
> (define %my-services
> (modify-services %desktop-services
> (guix-service-type config =>
> (guix-configuration
> (inherit config)
> (http-proxy "http://:")
> 
> Thanks for any ideas,
> Martin



guix pull behind proxy not working

2019-07-04 Thread martin
Hi there!

This is my first contact with Guix System and I managed to install it as
Virtualbox guest system behind a corporate proxy. Well, this was already
quite a challenge and succeeded only due the workaround
(https://guix-devel.gnu.narkive.com/k3oBoFqW/changing-http-proxy-settings-in-guixsd),
but now `guix install` works, I can install new packages (given a
warning about never calling `guix pull`).  However, calling `guix pull`
and `guix system reconfigure` still fails due to unreachable network.
Does it need different proxy settings?  What can I do?

Here is the guix-configuration part of my /etc/config.scm (omitting my
proxy address details):

(define %my-services
  (modify-services %desktop-services
(guix-service-type config =>
   (guix-configuration
(inherit config)
(http-proxy "http://:")

Thanks for any ideas,
Martin



Re: switch off cpu fan on lenovo g50-30

2019-07-04 Thread znavko
I see this now:

# pwmconfig
# pwmconfig revision $Revision$ ($Date$)
This program will search your sensors for pulse width modulation (pwm)
controls, and test each one to see if it controls a fan on
your motherboard. Note that many motherboards do not have pwm
circuitry installed, even if your sensor chip supports pwm.

We will attempt to briefly stop each fan using the pwm controls.
The program will attempt to restore each fan to full speed
after testing. However, it is ** very important ** that you
physically verify that the fans have been to full speed
after the program has completed.

/root/.guix-profile/sbin/pwmconfig: There are no pwm-capable sensor modules 
installed



# fancontrol
Loading configuration from /etc/fancontrol ...
Error: Can't read configuration file



July 4, 2019 7:29 AM, "Efraim Flashner"  wrote:

> On Thu, Jul 04, 2019 at 06:42:40AM +, zna...@disroot.org wrote:
> 
>> Hello! Sometimes I need my laptop Lenovo G50-30 is silent, need to switch 
>> off CPU fan.
>> Basically this laptop had no cpu fan but only passive cooling system. I had 
>> inserted cpu fan by my
>> hands and there were fan power joint on the motherboard. This is nice. I 
>> hope Guix Linux-Libre has
>> necessary fan control driver for my laptop.
>> 
>> There is package 'thinkfan' in Guix repository. Would you advice me how to 
>> config it and is it
>> possible to switch off fan?
>> 
>> # thinkfan
>> 
>> ERROR: /etc/thinkfan.conf: No such file or directory
> 
> efraim@macbook41 ~/workspace/guix$
> /./gnu/store/c8pmmbpx3q881baivkrcmi01lrj4si4j-thinkfan-1.0.2/sbin/thinkfan 
> --help
> ERROR: Invalid command line: Unknown option: --
> Usage: thinkfan [-hnqzD [-b BIAS] [-c CONFIG] [-s SECONDS] [-p [SECONDS]]]
> -h This help message
> -s Maximum cycle time in seconds (Integer. Default: 5)
> -b Floating point number (-10 to 30) to control rising temperature
> exaggeration (see README). Default: 5.0
> -c Load different configuration file (default: /etc/thinkfan.conf)
> -q Be more quiet. Can be specified up to three times so that only errors
> are logged.
> -v Enable verbose logging (e.g. log temperatures continuously).
> -p Use the pulsing-fan workaround (for worn out fans). Takes an optional
> floating-point argument (0 ~ 10s) as depulsing duration. Default 0.5s.
> -d Don't read S.M.A.R.T. temperature from sleeping disks
> -D DANGEROUS mode: Disable all sanity checks. May result in undefined
> behaviour!
> 
> Unless you want to write a system service for it, I'd figure out where
> there's a thinkfan.conf file (we don't seem to have it installed with
> the package) and run 'sudo -E thinkfan -c /path/to/thinkfan.conf'
> 
> --
> Efraim Flashner  אפרים פלשנר
> GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351
> Confidentiality cannot be guaranteed on emails sent or received unencrypted



Re: switch off cpu fan on lenovo g50-30

2019-07-04 Thread znavko
Hello, Efraim Flashner! I want your support cause my question is not figuring 
out from the web.
For typing my config for 'thinkfan' need to write thinkfan.conf, and there, I 
think, it is necessary to define temperature control kernel module. 
After running `sensors-detect` (from 'lmsensors' package) this config file 
appeared:

# cat /etc/sysconfig/lm_sensors
# Generated by sensors-detect on Thu Jul  4 12:53:51 2019
# This file is sourced by /etc/init.d/lm_sensors and defines the modules to
# be loaded/unloaded.
#
# The format of this file is a shell script that simply defines variables:
# HWMON_MODULES for hardware monitoring driver modules, and optionally
# BUS_MODULES for any required bus driver module (for example for I2C or SPI).

HWMON_MODULES="coretemp"


As I understood 'coretemp' is that module I can use in thinkfan.conf.  I see 
`sensors` is using coretemp-isa-


# sensors
soc_dts0-virtual-0
Adapter: Virtual device
temp1:+42.0°C  

acpitz-acpi-0
Adapter: ACPI interface
temp1:+60.0°C  (crit = +90.0°C)

soc_dts1-virtual-0
Adapter: Virtual device
temp1:+42.0°C  

coretemp-isa-
Adapter: ISA adapter
Core 0:   +46.0°C  (high = +105.0°C, crit = +105.0°C)
Core 1:   +46.0°C  (high = +105.0°C, crit = +105.0°C)
Core 2:   +52.0°C  (high = +105.0°C, crit = +105.0°C)
Core 3:   +52.0°C  (high = +105.0°C, crit = +105.0°C)


Ok. But I need to use 'coretemp' file from /proc as in example here [1]. But I 
do not know where is it:

# find /proc -name 'corete*'
# 


Please, can you help me?


[1] https://www.mankier.com/5/thinkfan.conf



July 4, 2019 7:29 AM, "Efraim Flashner"  wrote:

> On Thu, Jul 04, 2019 at 06:42:40AM +, zna...@disroot.org wrote:
> 
>> Hello! Sometimes I need my laptop Lenovo G50-30 is silent, need to switch 
>> off CPU fan.
>> Basically this laptop had no cpu fan but only passive cooling system. I had 
>> inserted cpu fan by my
>> hands and there were fan power joint on the motherboard. This is nice. I 
>> hope Guix Linux-Libre has
>> necessary fan control driver for my laptop.
>> 
>> There is package 'thinkfan' in Guix repository. Would you advice me how to 
>> config it and is it
>> possible to switch off fan?
>> 
>> # thinkfan
>> 
>> ERROR: /etc/thinkfan.conf: No such file or directory
> 
> efraim@macbook41 ~/workspace/guix$
> /./gnu/store/c8pmmbpx3q881baivkrcmi01lrj4si4j-thinkfan-1.0.2/sbin/thinkfan 
> --help
> ERROR: Invalid command line: Unknown option: --
> Usage: thinkfan [-hnqzD [-b BIAS] [-c CONFIG] [-s SECONDS] [-p [SECONDS]]]
> -h This help message
> -s Maximum cycle time in seconds (Integer. Default: 5)
> -b Floating point number (-10 to 30) to control rising temperature
> exaggeration (see README). Default: 5.0
> -c Load different configuration file (default: /etc/thinkfan.conf)
> -q Be more quiet. Can be specified up to three times so that only errors
> are logged.
> -v Enable verbose logging (e.g. log temperatures continuously).
> -p Use the pulsing-fan workaround (for worn out fans). Takes an optional
> floating-point argument (0 ~ 10s) as depulsing duration. Default 0.5s.
> -d Don't read S.M.A.R.T. temperature from sleeping disks
> -D DANGEROUS mode: Disable all sanity checks. May result in undefined
> behaviour!
> 
> Unless you want to write a system service for it, I'd figure out where
> there's a thinkfan.conf file (we don't seem to have it installed with
> the package) and run 'sudo -E thinkfan -c /path/to/thinkfan.conf'
> 
> --
> Efraim Flashner  אפרים פלשנר
> GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351
> Confidentiality cannot be guaranteed on emails sent or received unencrypted



Re: switch off cpu fan on lenovo g50-30

2019-07-04 Thread Efraim Flashner
On Thu, Jul 04, 2019 at 06:42:40AM +, zna...@disroot.org wrote:
> Hello! Sometimes I need my laptop Lenovo G50-30 is silent, need to switch off 
> CPU fan.
> Basically this laptop had no cpu fan but only passive cooling system. I had 
> inserted cpu fan by my hands and there were fan power joint on the 
> motherboard. This is nice. I hope Guix Linux-Libre has necessary fan control 
> driver for my laptop.
> 
> There is package 'thinkfan' in Guix repository. Would you advice me how to 
> config it and is it possible to switch off fan?
> 
> # thinkfan
> 
> ERROR: /etc/thinkfan.conf: No such file or directory

efraim@macbook41 ~/workspace/guix$ 
/./gnu/store/c8pmmbpx3q881baivkrcmi01lrj4si4j-thinkfan-1.0.2/sbin/thinkfan 
--help
ERROR: Invalid command line: Unknown option: --
Usage: thinkfan [-hnqzD [-b BIAS] [-c CONFIG] [-s SECONDS] [-p [SECONDS]]]
 -h  This help message
 -s  Maximum cycle time in seconds (Integer. Default: 5)
 -b  Floating point number (-10 to 30) to control rising temperature
 exaggeration (see README). Default: 5.0
 -c  Load different configuration file (default: /etc/thinkfan.conf)
 -q  Be more quiet. Can be specified up to three times so that only errors
 are logged.
 -v  Enable verbose logging (e.g. log temperatures continuously).
 -p  Use the pulsing-fan workaround (for worn out fans). Takes an optional
 floating-point argument (0 ~ 10s) as depulsing duration. Default 0.5s.
 -d  Don't read S.M.A.R.T. temperature from sleeping disks
 -D  DANGEROUS mode: Disable all sanity checks. May result in undefined
 behaviour!

Unless you want to write a system service for it, I'd figure out where
there's a thinkfan.conf file (we don't seem to have it installed with
the package) and run 'sudo -E thinkfan -c /path/to/thinkfan.conf'

-- 
Efraim Flashner  אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted


signature.asc
Description: PGP signature


Re: switch off cpu fan on lenovo g50-30

2019-07-04 Thread pelzflorian (Florian Pelz)
On Thu, Jul 04, 2019 at 06:42:40AM +, zna...@disroot.org wrote:
> Hello! Sometimes I need my laptop Lenovo G50-30 is silent, need to switch off 
> CPU fan.
> Basically this laptop had no cpu fan but only passive cooling system. I had 
> inserted cpu fan by my hands and there were fan power joint on the 
> motherboard. This is nice. I hope Guix Linux-Libre has necessary fan control 
> driver for my laptop.
> 
> There is package 'thinkfan' in Guix repository. Would you advice me how to 
> config it and is it possible to switch off fan?
> 

When I look at `git blame`, I find thinkfan is from 2016-04.  I find:

https://lists.gnu.org/archive/html/guix-devel/2016-04/msg01231.html

Regards,
Florian



switch off cpu fan on lenovo g50-30

2019-07-04 Thread znavko
Hello! Sometimes I need my laptop Lenovo G50-30 is silent, need to switch off 
CPU fan.
Basically this laptop had no cpu fan but only passive cooling system. I had 
inserted cpu fan by my hands and there were fan power joint on the motherboard. 
This is nice. I hope Guix Linux-Libre has necessary fan control driver for my 
laptop.

There is package 'thinkfan' in Guix repository. Would you advice me how to 
config it and is it possible to switch off fan?

# thinkfan

ERROR: /etc/thinkfan.conf: No such file or directory
# lsmod
Module Size Used by
mmc_block 49152 0
fuse 114688 2
ccm 20480 9
joydev 24576 0
intel_rapl 24576 0
intel_soc_dts_thermal 20480 0
intel_soc_dts_iosf 20480 1 intel_soc_dts_thermal
intel_powerclamp 20480 0
coretemp 20480 0
kvm 647168 0
irqbypass 16384 1 kvm
punit_atom_debug 16384 0
cmdlinepart 16384 0
snd_hda_codec_hdmi 57344 1
snd_hda_codec_conexant 24576 1
snd_hda_codec_generic 77824 1 snd_hda_codec_conexant
ledtrig_audio 16384 2 snd_hda_codec_generic,snd_hda_codec_conexant
rtsx_usb_ms 24576 0
intel_spi_platform 16384 0
intel_spi 24576 1 intel_spi_platform
rtsx_usb_sdmmc 32768 0
crct10dif_pclmul 16384 1
spi_nor 45056 1 intel_spi
memstick 20480 1 rtsx_usb_ms
mtd 65536 3 cmdlinepart,intel_spi
iTCO_wdt 16384 0
iTCO_vendor_support 16384 1 iTCO_wdt
arc4 16384 2
crc32_pclmul 16384 0
uvcvideo 98304 0
videobuf2_vmalloc 20480 1 uvcvideo
videobuf2_memops 20480 1 videobuf2_vmalloc
videobuf2_v4l2 24576 1 uvcvideo
ath9k 155648 0
videobuf2_common 45056 2 videobuf2_v4l2,uvcvideo
rtsx_usb 24576 2 rtsx_usb_sdmmc,rtsx_usb_ms
ath9k_common 24576 1 ath9k
videodev 204800 3 videobuf2_v4l2,uvcvideo,videobuf2_common
media 53248 4 videodev,videobuf2_v4l2,uvcvideo,videobuf2_common
ath9k_hw 479232 2 ath9k_common,ath9k
usbmouse 16384 0
ath3k 24576 0
usbkbd 16384 0
hci_uart 122880 0
btusb 49152 0
ghash_clmulni_intel 16384 0
btqca 20480 1 hci_uart
ath 32768 3 ath9k_common,ath9k,ath9k_hw
btrtl 20480 2 hci_uart,btusb
btbcm 16384 2 hci_uart,btusb
btintel 24576 2 hci_uart,btusb
cryptd 24576 1 ghash_clmulni_intel
mac80211 843776 1 ath9k
bluetooth 577536 7 btrtl,btqca,btintel,hci_uart,btbcm,ath3k,btusb
i915 1540096 6
r8169 81920 0
cec 45056 1 i915
input_leds 16384 0
drm_kms_helper 172032 1 i915
psmouse 151552 0
snd_hda_intel 45056 3
cfg80211 704512 4 ath9k_common,ath9k,ath,mac80211
realtek 20480 1
i2c_i801 32768 0
serio_raw 20480 0
lpc_ich 24576 0
drm 421888 7 drm_kms_helper,i915
snd_hda_codec 135168 4 
snd_hda_codec_generic,snd_hda_codec_conexant,snd_hda_codec_hdmi,snd_hda_intel
i2c_algo_bit 16384 1 i915
fb_sys_fops 16384 1 drm_kms_helper
snd_hda_core 90112 5 
snd_hda_codec_generic,snd_hda_codec_conexant,snd_hda_codec_hdmi,snd_hda_intel,snd_hda_codec
syscopyarea 16384 1 drm_kms_helper
sysfillrect 16384 1 drm_kms_helper
snd_hwdep 20480 1 snd_hda_codec
sysimgblt 16384 1 drm_kms_helper
snd_pcm 110592 4 snd_hda_codec_hdmi,snd_hda_intel,snd_hda_codec,snd_hda_core
snd_timer 40960 1 snd_pcm
video 45056 1 i915
snd 86016 14 
snd_hda_codec_generic,snd_hda_codec_conexant,snd_hda_codec_hdmi,snd_hwdep,snd_hda_intel,snd_hda_codec,snd_timer,snd_pcm
ecdh_generic 28672 1 bluetooth
pwm_lpss_platform 16384 0
soundcore 16384 1 snd
pwm_lpss 16384 1 pwm_lpss_platform
i2c_hid 28672 0
mac_hid 16384 0
rfkill_gpio 16384 0
virtio_rng 16384 0
virtio_console 32768 0
virtio_net 57344 0
virtio_blk 20480 0
virtio_balloon 24576 0
virtio_pci 24576 0
virtio 16384 6 
virtio_rng,virtio_console,virtio_balloon,virtio_pci,virtio_blk,virtio_net
virtio_ring 32768 6 
virtio_rng,virtio_console,virtio_balloon,virtio_pci,virtio_blk,virtio_net
isci 143360 0
libsas 81920 1 isci
scsi_transport_sas 40960 2 isci,libsas
pata_atiixp 16384 0
pata_acpi 16384 0
nls_iso8859_1 16384 0
wp512 36864 0
serpent_generic 32768 0
xts 16384 0
dm_crypt 40960 0
hid_apple 16384 0
hid_generic 16384 0
usbhid 53248 0
hid 131072 4 i2c_hid,usbhid,hid_apple,hid_generic
uas 24576 0
usb_storage 69632 1 uas
ahci 40960 2
libahci 32768 1 ahci