On Thu, Sep 26, 2019 at 08:11:14AM -0400, Roberto C. Sánchez wrote: > On Thu, Sep 26, 2019 at 11:58:28AM +0000, c...@riseup.net wrote: > > > > ~> dpkg -l | grep linux > > ii binutils-x86-64-linux-gnu 2.31.1-16 > > amd64 GNU binary utilities, for x86-64-linux-gnu target > > ii console-setup-linux 1.193~deb10u1 > > all Linux specific part of console-setup > > ii firmware-linux 20190114-2 > > all Binary firmware for various drivers in the Linux kernel > > (metapackage) > > ii firmware-linux-free 3.4 > > all Binary firmware for various drivers in the Linux kernel > > ii firmware-linux-nonfree 20190114-2 > > all Binary firmware for various drivers in the Linux kernel > > (meta-package) > > ii libselinux1:amd64 2.8-1+b1 > > amd64 SELinux runtime shared libraries > > ii libv4l-0:amd64 1.16.3-3 > > amd64 Collection of video4linux support libraries > > ii libv4lconvert0:amd64 1.16.3-3 > > amd64 Video4linux frame format conversion library > > ii linux-base 4.6 > > all Linux image base package > > ii linux-compiler-gcc-8-x86 4.19.67-2+deb10u1 > > amd64 Compiler for Linux on x86 (meta-package) > > ii linux-headers-4.19.0-5-amd64 4.19.37-5+deb10u2 > > amd64 Header files for Linux 4.19.0-5-amd64 > > ii linux-headers-4.19.0-5-common 4.19.37-5+deb10u2 > > all Common header files for Linux 4.19.0-5 > > ii linux-headers-4.19.0-6-amd64 4.19.67-2+deb10u1 > > amd64 Header files for Linux 4.19.0-6-amd64 > > ii linux-headers-4.19.0-6-common 4.19.67-2+deb10u1 > > all Common header files for Linux 4.19.0-6 > > ii linux-headers-amd64 4.19+105+deb10u1 > > amd64 Header files for Linux amd64 configuration (meta-package) > > ii linux-image-4.19.0-5-amd64 4.19.37-5+deb10u2 > > amd64 Linux 4.19 for 64-bit PCs (signed) > > iF linux-image-4.19.0-6-amd64 4.19.67-2+deb10u1 > > amd64 Linux 4.19 for 64-bit PCs (signed) > > ii linux-image-amd64 4.19+105+deb10u1 > > amd64 Linux for 64-bit PCs (meta-package) > > ii linux-kbuild-4.19 4.19.67-2+deb10u1 > > amd64 Kbuild infrastructure for Linux 4.19 > > ii linux-libc-dev:amd64 4.19.67-2+deb10u1 > > amd64 Linux support headers for userspace development > > ii util-linux 2.33.1-0.1 > > amd64 miscellaneous system utilities > > ii util-linux-locales 2.33.1-0.1 > > all locales files for util-linux > > ~> uname -a > > Linux 4.19.0-6-amd64 #1 SMP Debian 4.19.67-2+deb10u1 (2019-09-20) > > x86_64 GNU/Linux > > > > OK, then try: > > sudo apt remove linux-headers-4.19.0-5-amd64 linux-headers-4.19.0-5-common > linux-image-4.19.0-5-amd64 > > Then the output of these commands: > > df -h > > ls -lh /boot > Now the output is the following and hopefull, my computer will be able to restart and Wifi will work after having removed the kernel.
df -h Filesystem Size Used Avail Use% Mounted on udev 1.9G 0 1.9G 0% /dev tmpfs 386M 6.2M 380M 2% /run /dev/mapper/--vg-root 454G 112G 319G 26% / tmpfs 1.9G 0 1.9G 0% /dev/shm tmpfs 5.0M 4.0K 5.0M 1% /run/lock tmpfs 1.9G 0 1.9G 0% /sys/fs/cgroup /dev/sda1 236M 83M 142M 37% /boot tmpfs 386M 8.0K 386M 1% /run/user/1000 ~> ls -lh /boot total 70M -rw-r--r-- 1 root root 202K Sep 20 13:51 config-4.19.0-6-amd64 drwxr-xr-x 5 root root 1.0K Sep 26 15:10 grub/ -rw-r--r-- 1 root root 61M Sep 26 15:10 initrd.img-4.19.0-6-amd64 drwx------ 2 root root 12K Jul 22 12:57 lost+found/ -rw-r--r-- 1 root root 3.3M Sep 20 13:51 System.map-4.19.0-6-amd64 -rw-r--r-- 1 root root 5.1M Sep 20 13:51 vmlinuz-4.19.0-6-amd64 > Regards, > > -Roberto > > -- > Roberto C. Sánchez >
