Harald Dunkel wrote: > On 06/21/12 13:49, Jonathan Nieder wrote: >> Is the size of dash a problem for you? > > I am more interested in compatibility and efficiency.
Thanks for clarifying. Is your concern then about what the default shell is, rather than whether dash should be optional? I guess I'm confused about why you filed this bug report and not a different one, especially given the subject line. Perhaps this is a request to make bash the default shell by removing dash altogether? -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
