Steve wrote:
>
> -rwxr-xr-x 3570821 Sep 5 18:54 /usr/local/bin/icewm
>
> Seems awfully large, especially when compared to
> fvwm2/AnotherLevel and twm (from rpm).
Yes, indeed, it's too large by a factor of ten.
The reason will be revealed when you do this:
-----------
file icewm
-----------
I love 'file' and use it a lot. That's why I
put it in BasicLinuxHD.
Unstripped binaries are easier to debug. The
unnecessary stuff is removed when you do this:
-----------
strip icewm
-----------
Cheers,
Steven
