bug#43610: IceCat segfault

2020-09-30 Thread Mike Gerwitz
ebug outputs would primarily useful to > people who are actively developing IceCat, in which case it makes more > sense to build it manually to allow incremental rebuilds after modifying > the source code. I agree---I think it's best not to burden all users (that choose to or have to build) in this case. -- Mike Gerwitz

bug#33844: Rename ghc-pandoc to pandoc

2020-02-27 Thread Mike Gerwitz
oc) but it is: a) some descriptions are badly written and > b) the 'relevance' scoring function is not enough "smart" to detect > them. Thank you for taking the time to explain this. -- Mike Gerwitz signature.asc Description: PGP signature

bug#33844: Rename ghc-pandoc to pandoc

2020-02-26 Thread Mike Gerwitz
e past and didn't find what I was looking for, and so fell back to a Debian system. It turns out what I wanted was ghc-pandoc after all. But if I would have put a little bit more effort into looking, perhaps I would have figured that out; I was in a hurry. Thanks for making this change!

bug#36687: guix gc: error: executing SQLite statement: database disk image is malformed

2019-08-03 Thread Mike Gerwitz
Sorry I hadn't seen this bug report; it was opened after I researched this issue a couple months ago and I didn't bother checking since. Here's the thread I posted to help-guix: <87lfwbuj27....@gnu.org>. -- Mike Gerwitz Free Software Hacker+Activist | GNU Maintainer &

bug#34176: X200 kernel panic on S3 resume (linux-libre > 4.18.9)

2019-05-15 Thread Mike Gerwitz
close 34176 thanks This is no longer a problem on my X200 with Libreboot. On Sun, May 12, 2019 at 10:16:12 -0400, Mike Gerwitz wrote: > In 5.x this doesn't appear to be a problem anymore---the first message > still happens, but it no longer causes a panic. I don't know precise

bug#34176: X200 kernel panic on S3 resume (linux-libre > 4.18.9)

2019-05-12 Thread Mike Gerwitz
On Wed, Jan 23, 2019 at 00:58:57 -0500, Mike Gerwitz wrote: > usb usb3: root hub lost power or was reset > general protection fault: [#1] SMP PTI > CPU: 1 PID: 441 Comm: kworker/u4:23 Tainted: 6 4.28-3gnu #1 > Hardware name: LENOVO 7459VLP/7459VLP, BIOS CBET4000 3774c9

bug#34176: X200 kernel panic on S3 resume (linux-libre > 4.18.9)

2019-01-31 Thread Mike Gerwitz
On Thu, Jan 31, 2019 at 02:02:34 -0500, Mark H Weaver wrote: > reopen 34176 > thanks > > Hi Mike, > > Mike Gerwitz writes: > >> On Tue, Jan 29, 2019 at 07:14:15 -0500, Mike Gerwitz wrote: >>> reopen 34176 >>> thanks >> >> I guess I don&#

bug#34176: X200 kernel panic on S3 resume (linux-libre > 4.18.9)

2019-01-30 Thread Mike Gerwitz
On Tue, Jan 29, 2019 at 07:14:15 -0500, Mike Gerwitz wrote: > reopen 34176 > thanks I guess I don't have permission to do this, since nothing happened. Can someone do this for me? Alternatively, if this seems outside the scope of something we'd want to track in Guix, just leave

bug#34176: X200 kernel panic on S3 resume (linux-libre > 4.18.9)

2019-01-29 Thread Mike Gerwitz
reopen 34176 thanks On Sun, Jan 27, 2019 at 10:34:11 -0500, Mike Gerwitz wrote: > Sorry, I take that back. I could have sworn it did resolve the issue, > but that does not seem to be the case. > > This seems unrelated to powertop; `auto' seems to be the default setting > of

bug#34176: X200 kernel panic on S3 resume (linux-libre > 4.18.9)

2019-01-27 Thread Mike Gerwitz
On Wed, Jan 23, 2019 at 01:08:39 -0500, Mike Gerwitz wrote: > Right after sending this message, I recalled that I used powertop to do > "auto tuning". Sure enough, one of the lines was this: > >Good Autosuspend for USB device UHCI Host Controller [usb6] > &

bug#34176: X200 kernel panic on S3 resume (linux-libre > 4.18.9)

2019-01-22 Thread Mike Gerwitz
Well, I'm not getting those hours of my life back. On Wed, Jan 23, 2019 at 00:58:57 -0500, Mike Gerwitz wrote: > usb usb3: root hub lost power or was reset [...] > uhci_hcd :00:1d.0: host controller process error, something bad happened! > uhci_hcd :00:1d.0: host controlle

bug#34176: X200 kernel panic on S3 resume (linux-libre > 4.18.9)

2019-01-22 Thread Mike Gerwitz
matters. (Which is indeed true for my hub :00:1d.0, which is usb6, according to dmesg.) If someone with more experience with these types of issues offer me some advice on my next steps (including the best place to report upstream either for linux-libre or linux, if that's more app

bug#32820: Some CSS not displaying in latest Icecat

2018-09-28 Thread Mike Gerwitz
urther issues. But it's bizarre indeed. > I also note that Icecat tells me that the page is not encrypted, despite > visiting the https site without errors. Something’s not quite right > here. Mark fixed this in 32833 (<87a7o5cdv3@netris.org>). -- Mike Gerwitz signature.asc Description: PGP signature

bug#32833: IceCat 60 showing sites as "insecure" despite using HTTPS

2018-09-25 Thread Mike Gerwitz
On Tue, Sep 25, 2018 at 20:30:57 -0400, Mike Gerwitz wrote: > Thanks again for your work on this. Maybe I'll let IceCat build > overnight so I can give it a try tomorrow (still on my X200). LGTM. -- Mike Gerwitz signature.asc Description: PGP signature

bug#32820: Some CSS not displaying in latest Icecat

2018-09-25 Thread Mike Gerwitz
>> When you get a chance, can you try the new version and report back? > > I also verified that those pages render correctly using IceCat's alpha > binary on a Debian system. I'll build overnight and let you know > tomorrow if the CSS issues are resolved for

bug#32833: IceCat 60 showing sites as "insecure" despite using HTTPS

2018-09-25 Thread Mike Gerwitz
I'll let IceCat build overnight so I can give it a try tomorrow (still on my X200). -- Mike Gerwitz signature.asc Description: PGP signature

bug#32820: Some CSS not displaying in latest Icecat

2018-09-25 Thread Mike Gerwitz
ld overnight and let you know tomorrow if the CSS issues are resolved for me. Thanks for the quick response on this! -- Mike Gerwitz signature.asc Description: PGP signature

bug#32835: Icecat is missing fonts (on foreign distro)

2018-09-25 Thread Mike Gerwitz
> usually see only partially when some wired UTF-sign is not installed). I run IceCat within a container, and I noticed that upgrading to 60 caused for me the issue that you are describing. But if I run IceCat normally (as installed to my profile), fonts are fine. -- Mike Gerwitz Free Software

bug#32833: IceCat 60 showing sites as "insecure" despite using HTTPS

2018-09-24 Thread Mike Gerwitz
not reporting security status correctly, then users may be at risk, so be careful in the meantime! -- Mike Gerwitz Free Software Hacker+Activist | GNU Maintainer & Volunteer GPG: D6E9 B930 028A 6C38 F43B 2388 FEF6 3574 5E6F 6D05 https://mikegerwitz.com signature.asc Description: PGP signature

bug#32820: Some CSS not displaying in latest Icecat

2018-09-24 Thread Mike Gerwitz
is even visible in the Style Editor, but isn't rendered). Icecat isn't providing any errors anywhere, and I didn't find anything useful in strace output. So hopefully enabling Servo fixes it! I'm curious to know why these pages work but not others. -- Mike Gerwi

bug#31366: Missing icons in virt-manager user-interface

2018-08-31 Thread Mike Gerwitz
on that, but in this virt-manager case, I did experience the issue on GuixSD. -- Mike Gerwitz signature.asc Description: PGP signature

bug#31366: Missing icons in virt-manager user-interface

2018-08-29 Thread Mike Gerwitz
Guix could then be helpful to the user without expecting the user to have read all relevant sections of the manual (I have only read portions so far). `guix package` maybe could also have a flag to automatically install recommended packages into the user's profile. There are strong desig

bug#31365: libvirt/virt-manager: Embeds full path to qemu-system in saved .xml files

2018-05-04 Thread Mike Gerwitz
research. I encountered this issue the same way (after a `guix gc'). > It also means each virtual machine may be running on an older version of > qemu, for better or worse. Yes, I was concerned by that as well. :X VMs would not benefit from security fixes, which is to me is the more

bug#30611: texlive substitute download failure

2018-02-25 Thread Mike Gerwitz
king issues); try `--fallback' to build derivation from source --8<---cut here---end--->8--- I upgraded Guix last night (0181df537ffb4e4273b2ca005738fdb7bd3d73f5) and tried again, but same problem tonight. I can build from source, but that's

bug#29881: guix system reconfigure fails if config.scm contains LUKS mapped-devices

2018-01-06 Thread Mike Gerwitz
t; > Can you confirm? I just ran into this, and clearing ~/.cache/guile/ccache did indeed fix it. Thanks. -- Mike Gerwitz Free Software Hacker+Activist | GNU Maintainer & Volunteer GPG: D6E9 B930 028A 6C38 F43B 2388 FEF6 3574 5E6F 6D05 https://mikegerwitz.com signature.asc Description: PGP signature

bug#28578: xorg not starting on x200 due to recent commit

2017-12-24 Thread Mike Gerwitz
I don't know my version atm. If you know the steps to run a suitable comparison, I'd be happy to do so. If you don't have it figured out by March I'll be at LP2018 if you want to do a more hands-on comparison. -- Mike Gerwitz Free Software Hacker+Activist | GNU Maintainer &

bug#28578: xorg not starting on x200 due to recent commit

2017-12-23 Thread Mike Gerwitz
pset Memory Controller Hub (rev 07) 00:02.0 VGA compatible controller: Intel Corporation Mobile 4 Series Chipset Integrated Graphics Controller (rev 07) 00:02.1 Display controller: Intel Corporation Mobile 4 Series Chipset Integrated Graphics Controller (rev 07) I'm running Libreboot. -- Mike

bug#27437: Source downloader accepts X.509 certificate for incorrect domain

2017-06-22 Thread Mike Gerwitz
on is bad in general… What about signed tags/commits? -- Mike Gerwitz Free Software Hacker+Activist | GNU Maintainer & Volunteer GPG: D6E9 B930 028A 6C38 F43B 2388 FEF6 3574 5E6F 6D05 https://mikegerwitz.com signature.asc Description: PGP signature

bug#25254: [minor] 'About' page says GuixSD is a "GNU/Linux distribution"

2016-12-24 Thread Mike Gerwitz
le and projects for their own purposes, but which we can use because they are free software. -- Mike Gerwitz Free Software Hacker+Activist | GNU Maintainer & Volunteer GPG: D6E9 B930 028A 6C38 F43B 2388 FEF6 3574 5E6F 6D05 Old: 2217 5B02 E626 BC98 D7C0 C2E5 F22B B815 8EE3 0EAB https:

bug#22883: [sr #109104] Add Git 'update' hook for Guix repositories

2016-08-06 Thread Mike Gerwitz
Follow-up Comment #4, sr #109104 (project administration): Unfortunately, this hook can be easily defeated. Here's some example output from the current tip of master: $ git cat-file -p HEAD tree c65e675351fe76b2630df24eddcb2449774eb344 parent e87c7ec2de815f05d7a84e2792e2da700bb26a38 author Leo

bug#22883: Authenticating a Git checkout

2016-06-05 Thread Mike Gerwitz
On Sun, Jun 05, 2016 at 15:39:04 -0500, Christopher Allan Webber wrote: > One theoretical optimization: if I verify the DAG, could I store > somewhere that I've verified from commit cabba6e and upward already, so > the next time I verify it only has to verify the new commits? tbh, I haven't given

bug#22883: Trustable "guix pull"

2016-06-04 Thread Mike Gerwitz
le for the sake of invoking GPG. It checks for a non-zero exit code and GOODSIG: ret |= !strstr(pbuf->buf, "\n[GNUPG:] GOODSIG "); -- Mike Gerwitz Free Software Hacker+Activist | GNU Maintainer & Volunteer https://mikegerwitz.com FSF Member #5804 | GPG Key ID: 0x8EE30EAB signature.asc Description: PGP signature

bug#22883: Authenticating a Git checkout

2016-06-04 Thread Mike Gerwitz
guix/manual/html_node/Substitutes.html Oh, excellent; I'm not sure if I would have come across that. I should poke around Guix a bit more and see all the goodies that everyone has created. Thanks. -- Mike Gerwitz Free Software Hacker+Activist | GNU Maintainer & Volunteer https://mikegerwitz.com

bug#22883: Authenticating a Git checkout

2016-06-03 Thread Mike Gerwitz
made me uncomfortable without studying whether Guile can make assurances that pointer-referenced data in "secure" memory will never be copied anywhere else. I was going to bring it up in the near future on the guile mailing list after I did some research myself; no need to derail the discussion here. -- Mike Gerwitz Free Software Hacker+Activist | GNU Maintainer & Volunteer https://mikegerwitz.com FSF Member #5804 | GPG Key ID: 0x8EE30EAB signature.asc Description: PGP signature

bug#22883: Trustable "guix pull"

2016-04-29 Thread Mike Gerwitz
lly saying that it's really hard to have strong cryptographic assurances with Git even with signed commits---that attack surface is simply too large, as I mentioned in the Whonix discussion. Realistically, it's extremely unlikely that something will ever happen, but until Git switches