Linux headers are consuming a lot of disk space on the EC2 machine. Is it safe to manually delete the headers with rm command? July 19, 2023 by Tarik