This bug could be fixed by documentation --- there is no documentation
with the package about the scripts!
To get this working, I had to understand scanbd.conf, which is in
directory with 72 other .conf files. It took an hour to just understand
what I was supposed to do.
I like Dylan's default s
The Agda people responded with the following on
https://github.com/agda/agda/issues/5631
Hmmm. The package does not even seem to install the .agda-lib file:
https://packages.ubuntu.com/focal/all/agda-stdlib/filelist
So a potential workaround would be to:
Copy this file into /usr/share/agda
Public bug reported:
I tried using literate Agda on Ubuntu. I was able to run Agda perfectly
in Emacs. It loaded libraries without any problem. But I tried to run
agda on the command-line, it had trouble with finding libraries.
Both
`agda --html --html-highlight=code NahasTutorialModule.lagda.
Replaced motherboard and trackpad. The problem is fixed. Seems to have been a
hardware issue.
You can mark the issue as "closed" or "not (our) bug".
On Thursday, March 21, 2019, 11:06:24 AM CDT, Michael Nahas
wrote:
No, "sudo modprobe hid-multitouch&quo
No, "sudo modprobe hid-multitouch" did nothing.
FYI, my laptop started suffering problems after a trip to New Zealand. It
started shutting down randomly every 10 minutes or so. Dell support had me
upgrade the BIOS. The laptop stopped rebooting, but then the touchpad stopped
being detected. (
Public bug reported:
Touchpad is not working.
I've run "sudo apt update", run "sudo apt dist-upgrade" and rebooted.
Problem still exists.
When I run "cat /proc/bus/input/devices", the touchpad is not listed.
I ran "ubuntu-bug linux".
$ lsb_release -rd
Description:Ubuntu 18.04.2 LTS
Relea
