Re: does this mean my kernel is trashed ?

From: Alin-Adrian Anton <aanton_at_spintech.ro>
Date: Fri, 10 Dec 2004 01:33:13 +0200
Wilkinson, Alex wrote:
> # sudo indent /boot/kernel/kernel
> 

No. According to the man pages, indent is a tool used to "indent and 
format C program source".

On the other hand, /boot/kernel/kernel is already compiled code, it's 
not a .c source file.

You can check that with the "file" utility:

%file /boot/kernel/kernel
/boot/kernel/kernel: ELF 32-bit LSB executable, Intel 80386, version 1 
(FreeBSD), dynamically linked (uses shared libs), not stripped
%
(that corresponds to my system)

Regards,
-- 
Alin-Adrian Anton
Spintech Systems
GPG keyID 0x1E2FFF2E (2963 0C11 1AF1 96F6 0030 6EE9 D323 639D 1E2F FF2E)
gpg --keyserver pgp.mit.edu --recv-keys 1E2FFF2E
Received on Thu Dec 09 2004 - 22:33:09 UTC

This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:38:24 UTC