On Wed, 17 Jun 2020 at 20:37, David Rosenstrauch wrote:
>
>
> On 6/17/20 2:18 PM, Piscium via arch-general wrote:
> > Today I set dash as my default shell [1] on two PCs. We will see if I
> > get into trouble.
> >
> > This question was asked years ago but maybe good to ask again. Could
> > dash
On 6/17/20 3:18 PM, Kusoneko wrote:
> On June 17, 2020 7:06:01 PM UTC, "Jack L. Frost"
> wrote:
>> On Wed, Jun 17, 2020 at 07:18:33PM +0100, Piscium via arch-general
>> wrote:
>>> What do you think?
>>
>> I'm not sure how much utility is in doing this
>
> Pretty much this, to be honest. I
On 17 Jun 2020 8:36 p.m., "David Rosenstrauch" wrote:
On 6/17/20 2:18 PM, Piscium via arch-general wrote:
> Today I set dash as my default shell [1] on two PCs. We will see if I
> get into trouble.
>
> This question was asked years ago but maybe good to ask again. Could
> dash be made the
On Wed, 17 Jun 2020 19:18:59 +, Kusoneko wrote:
> I don't really see the point of changing everyone's /bin/sh for one
> person's personal preference when there isn't really any point in
> doing so to begin with.
See OP's first post:
> I did some simple benchmarks and dash is much faster
On 6/17/20 2:36 PM, David Rosenstrauch wrote:
>
>
> On 6/17/20 2:18 PM, Piscium via arch-general wrote:
>> Today I set dash as my default shell [1] on two PCs. We will see if I
>> get into trouble.
>>
>> This question was asked years ago but maybe good to ask again. Could
>> dash be made the
On Wed, 17 Jun 2020 at 19:39, Eli Schwartz via arch-general
wrote:
>
> On 6/17/20 2:36 PM, David Rosenstrauch wrote:
> >
> >
> > On 6/17/20 2:18 PM, Piscium via arch-general wrote:
> >> Today I set dash as my default shell [1] on two PCs. We will see if I
> >> get into trouble.
> >>
> >> This
On Wed, Jun 17, 2020 at 07:18:33PM +0100, Piscium via arch-general wrote:
> What do you think?
I'm not sure how much utility is in doing this, but I've had my /bin/sh linked
to various shells over the years, and it never ended up tripping me up, despite
me tinkering with my systems constantly.
On June 17, 2020 7:06:01 PM UTC, "Jack L. Frost" wrote:
>On Wed, Jun 17, 2020 at 07:18:33PM +0100, Piscium via arch-general
>wrote:
>> What do you think?
>
>I'm not sure how much utility is in doing this
Pretty much this, to be honest. I don't really see the point of changing
everyone's /bin/sh
Today I set dash as my default shell [1] on two PCs. We will see if I
get into trouble.
This question was asked years ago but maybe good to ask again. Could
dash be made the default shell in Arch? I did some simple benchmarks
and dash is much faster than bash, moreover being far smaller there is
On 6/17/20 2:18 PM, Piscium via arch-general wrote:
Today I set dash as my default shell [1] on two PCs. We will see if I
get into trouble.
This question was asked years ago but maybe good to ask again. Could
dash be made the default shell in Arch?
Couldn't you just set it as the default
On Wed, 17 Jun 2020 at 20:19, Kusoneko wrote:
> Pretty much this, to be honest. I don't really see the point of changing
> everyone's /bin/sh for one person's personal preference when there isn't
> really any point in doing so to begin with.
The reasons Ubuntu switched in 2006 and Debian in
On 6/17/20 3:05 PM, NTS wrote:
> On 17 Jun 2020 8:36 p.m., "David Rosenstrauch" wrote:
>
>
>
> On 6/17/20 2:18 PM, Piscium via arch-general wrote:
>
>> Today I set dash as my default shell [1] on two PCs. We will see if I
>> get into trouble.
>>
>> This question was asked years ago but maybe
On June 17, 2020 7:27:29 PM UTC, Piscium via arch-general
wrote:
>On Wed, 17 Jun 2020 at 20:19, Kusoneko wrote:
>
>> Pretty much this, to be honest. I don't really see the point of
>changing everyone's /bin/sh for one person's personal preference when
>there isn't really any point in doing so
On 6/17/20 15:58, brent s. wrote:
> This is false. Or at the least, grievously inaccurate.
To clarify:
This is less-so aimed at OP; the only issue there was a poor choice of
words and explaining the suggested switch.
The previous post was aimed moreso at those that do not understand there
are
On Wed, 17 Jun 2020 at 21:21, brent s. wrote:
> Now, to init- because Arch uses systemd (and, yes, now Debian and
> Ubuntu), one must wonder what benefit, if any, this actually serves.
> systemd invokes the command directly, it does not spawn a shell to run
> an init script like sysvinit,
On 6/17/20 3:54 PM, Kusoneko wrote:
> It has the cost that everyone who uses scripts that use bashisms will
> inevitably have issues, furthermore, considering Arch only supports
> x86_64, I've yet to see systems under that architecture have low
> amounts of memory and 6MB of disk storage is
On June 17, 2020 7:35:27 PM UTC, Eli Schwartz via arch-general
wrote:
>On 6/17/20 3:18 PM, Kusoneko wrote:
>> On June 17, 2020 7:06:01 PM UTC, "Jack L. Frost"
>> wrote:
>>> On Wed, Jun 17, 2020 at 07:18:33PM +0100, Piscium via arch-general
>>> wrote:
What do you think?
>>>
>>> I'm not
On 6/17/20 14:18, Piscium via arch-general wrote:
(SNIP)
> ... A possible issue is bashisms, however Ubuntu has
> been using dash as default for 14 years and Debian also for several
> years so hopefully most scripts have had bashisms removed by
> upstreams.
This is false. Or at the least,
On 17/06/2020 22:54, Kusoneko wrote:
> It has the cost that everyone who uses scripts that use bashisms will
> inevitably have issues,
Anybody who is using Bash features with /bin/sh shebang is wrong anyway.
Want Bash features? Use #!/bin/bash
Want simpler POSIX-compatible shell that is also
I would want the default /bin/sh shell to be dash just for the sake of
standardization. Also no one really expects /bin/sh to be bash, that alone is
confusing for some people (myself included).
Josef Miegl
signature.asc
Description: PGP signature
On 6/18/20 12:11 AM, David C. Rankin wrote:
> On 06/17/2020 01:18 PM, Piscium via arch-general wrote:
>> Today I set dash as my default shell [1] on two PCs. We will see if I
>> get into trouble.
>>
>> This question was asked years ago but maybe good to ask again. Could
>> dash be made the default
On 06/17/2020 01:18 PM, Piscium via arch-general wrote:
> Today I set dash as my default shell [1] on two PCs. We will see if I
> get into trouble.
>
> This question was asked years ago but maybe good to ask again. Could
> dash be made the default shell in Arch?
Please NO. Bash has been the
22 matches
Mail list logo