Download the .deb files to an empty directory, then open terminal, $ cd $(the directory) $ sudo dpkg -i *deb
Then reboot.
> Also, in case of GUI hang during boot (as is the case with 4-15-0-44), is there a way to reboot the machine without thrashing the root filesystem?
Use magic key [1]. Press Alt + PrintScreen without releasing, then press 'S' 'U' 'B' or 'S' 'U' 'O'.
[1] https://en.wikipedia.org/wiki/Magic_SysRq_key
Download the .deb files to an empty directory, then open terminal,
$ cd $(the directory)
$ sudo dpkg -i *deb
Then reboot.
> Also, in case of GUI hang during boot (as is the case with 4-15-0-44), is there a way to reboot the machine without thrashing the root filesystem?
Use magic key [1]. Press Alt + PrintScreen without releasing, then press 'S' 'U' 'B' or 'S' 'U' 'O'.
[1] https:/ /en.wikipedia. org/wiki/ Magic_SysRq_ key