Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| deb11:setup [2023/04/20 22:02] – [System Startup] Bernard Condrau | deb11:setup [2024/12/13 12:04] (current) – [Install and configure packages] Bernard Condrau | ||
|---|---|---|---|
| Line 24: | Line 24: | ||
| $ sudo apt install openjdk-17-jre openjdk-17-jdk</ | $ sudo apt install openjdk-17-jre openjdk-17-jdk</ | ||
| * Change visudo editor< | * Change visudo editor< | ||
| + | |||
| + | ===== Upgrade linux headers ===== | ||
| + | * Check remaining space on the boot partition with:< | ||
| + | * Remove outdated kernel packages:< | ||
| + | * First check your kernel version, so you won't delete the in-use kernel image, running:< | ||
| + | * Delete the kernels you don't want/need anymore by running this:< | ||
| + | * Update grub kernel list:< | ||
| ===== System Startup ===== | ===== System Startup ===== | ||