[14:55] <Pici> !info bash 
[15:34] <genii> Isn't dash default a long time now?
[15:38] <hggdh> yes
[15:38] <hggdh> for users
[15:38] <hggdh> system-wise, it is dash
[15:39] <hggdh> (to say, /bin/sh -> dash
[16:08] <Pici> bash is just my default lets test out !info thing