A file named "["?

jdow jdow at earthlink.net
Tue Jun 5 19:35:34 UTC 2012


On 2012/06/05 11:55, Michael Schwendt wrote:
> On Tue, 5 Jun 2012 14:40:23 -0400, Alex wrote:
>
>> It's used in shell scripts, such as an "if" statement, such as "if [
>> $? -eq 0 ]". Bash actually runs that command.
>
> Not Bash.
>
> $ type [
> [ is a shell builtin
>
> Also see "man [".
>

$ type /usr/bin/[
/usr/bin/[ is /usr/bin/[

{^_^}


More information about the users mailing list