On 18/06/2020 18.22, Eli Schwartz via arch-general wrote:
> On 6/18/20 12:08 PM, li...@2ion.de wrote:
>> On Wed, Jun 17, 2020 at 11:17:08PM +0100, Piscium via arch-general wrote:
>>> But switching to dash would also be about security, as less code means
>>> less bugs [5].
>>
>> Usage of a more
On 18/06/2020 06.33, Eli Schwartz via arch-general wrote:
> 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
On 17/06/2020 21.27, 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 to
Also I think some people here wrote, that they used dash as /bin/sh for
years without problems.
I personally also prefer dash as /bin/sh, but I dont think the
pacman-trigger approach described in the wiki is a clean way of doing
it.
I dont know the arch packaging a lot, but I think a package
On 6/18/20 12:08 PM, li...@2ion.de wrote:
> On Wed, Jun 17, 2020 at 11:17:08PM +0100, Piscium via arch-general wrote:
>> But switching to dash would also be about security, as less code means
>> less bugs [5].
>
> Usage of a more concise, powerful and clean shell language is much more
> suitable
On Wed, Jun 17, 2020 at 11:17:08PM +0100, Piscium via arch-general wrote:
> But switching to dash would also be about security, as less code means
> less bugs [5].
Usage of a more concise, powerful and clean shell language is much more
suitable as a point when bringing forth an argument of there
:
> Date: Wed, 17 Jun 2020 15:27:29
> From: Piscium via arch-general
> To: General Discussion about Arch Linux
> Cc: Piscium
> Subject: Re: [arch-general] dash as default shell?
>
> On Wed, 17 Jun 2020 at 20:19, Kusoneko wrote:
>
> > Pretty much this, to be honest
On 17/06/2020 21:27, Piscium via arch-general wrote:
The reasons Ubuntu switched in 2006 and Debian in 2011 were speed,
less bugs and more security. A simple benchmark I ran with several
shells using konsole (which is one of the fastest terminals according
to my simple benchmarks):
time ls -R /
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
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 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 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 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 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 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 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 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
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 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 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 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
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
23 matches
Mail list logo