does this mean my kernel is trashed ?

[Alin-Adrian Anton]

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