Remix.run Logo
zzzeek 4 hours ago

yeah, if [ is a command in /bin/ what is [[ ?

SAI_Peregrinus 4 hours ago | parent [-]

A builtin part of the shell, just like `if` and `then` and `fi`. Not all shells have `[[`, the one that doesn't which people unknowingly run into most is probably `dash` as used by Alpine Linux. POSIX doesn't require `[[` in a shell, BASH & Zsh support it but others often don't.

zzzeek 4 hours ago | parent [-]

right so "[" is a file in /bin, "[[" is implicitly part of the shell, so that's as bad as I thought