Re: SBCL : update to 1.5 : request

Hi, On Mon, Feb 25, 2019 at 02:52:38PM +0530, Mayuresh Kathe wrote: > The SBCL system in Ubuntu 18.04 is still at 1.4.5 which is 12 releases > behind the latest 1.5.0 as per the URL; http://www.sbcl.org/all-news.html > > Could you please update the package and it's associated stuff (docs and > so

Re: systemd unit file broken: reload not working

Hi Christian, On Fri, Mar 01, 2019 at 03:32:18PM +, Christian Schneider wrote: > Hey, > > we are using the newest Varnish package under Ubuntu 16.04. The reload does > not work because of the broken systemd unit file. See: > https://github.com/varnishcache/pkg-varnish-cache/pull/70 > https:/

Re: Enable kernel options CONFIG_EARLY_PRINTK_USB_XDBC and USB_XHCI_DBGCAP for serial connections with kernels >= 4.16

Hi Rene, On Sun, Feb 24, 2019 at 11:19:52AM +0100, Rene 'Renne' Bartsch, B.Sc. Informatics wrote: > I suggest to enable USB DbC by enabling the kernel options > "CONFIG_EARLY_PRINTK_USB_XDBC=Y" and "USB_XHCI_DBGCAP=Y" in Ubuntu kernels >= > 4.16. Thank you for the suggestion. The Ubuntu kerne

Re: Enable kernel options CONFIG_EARLY_PRINTK_USB_XDBC and USB_XHCI_DBGCAP for serial connections with kernels >= 4.16

Am 08.03.19 um 14:05 schrieb Robie Basak: Hi Rene, On Sun, Feb 24, 2019 at 11:19:52AM +0100, Rene 'Renne' Bartsch, B.Sc. Informatics wrote: I suggest to enable USB DbC by enabling the kernel options "CONFIG_EARLY_PRINTK_USB_XDBC=Y" and "USB_XHCI_DBGCAP=Y" in Ubuntu kernels >= 4.16. Thank