[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Strange file names



Quoting Oki DZ (litbang@haltek.telkom.net.id):
> 
> Rob Mahurin wrote:
> 
> > 18:39 ~ $ which [
> > /usr/bin/[
> > 18:39 ~ $ type [
> > [ is a shell builtin
>                ^^^^^^^
> Hm... does it mean that "magic" is not quite magical...?

I thought "file" used magic; it says:

file /usr/bin/\[ 
/usr/bin/[: ELF 32-bit LSB executable, Intel 80386, version 1,
             dynamically linked (uses shared libs), stripped

but I assume that the shell never bothers to run /usr/bin/[
(or /bin/echo etc.).

Cheers,

-- 
Email:  d.wright@open.ac.uk   Tel: +44 1908 653 739  Fax: +44 1908 655 151
Snail:  David Wright, Earth Science Dept., Milton Keynes, England, MK7 6AA
Disclaimer:   These addresses are only for reaching me, and do not signify
official stationery. Views expressed here are either my own or plagiarised.


Reply to: