[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to choose the shell?
From: |
Paul Smith |
Subject: |
Re: How to choose the shell? |
Date: |
Sun, 05 Sep 2021 12:53:47 -0400 |
User-agent: |
Evolution 3.36.5-0ubuntu1 |
On Sun, 2021-09-05 at 19:50 +0300, Eli Zaretskii wrote:
> > If you change the default shell, then make will never use any
> > shortcuts since, obviously, it can't know what the syntax is of
> > some other random shell.
>
> I don't think Make on Windows does this bit.
Are you sure? If not, that's definitely a bad bug in the Windows port
of GNU make.
- How to choose the shell?, John Freeman, 2021/09/04
- Re: How to choose the shell?, Eli Zaretskii, 2021/09/04
- Re: How to choose the shell?, John Freeman, 2021/09/04
- Re: How to choose the shell?, Eli Zaretskii, 2021/09/04
- Re: How to choose the shell?, John Freeman, 2021/09/04
- Re: How to choose the shell?, Eli Zaretskii, 2021/09/05
- Re: How to choose the shell?, John Freeman, 2021/09/05
- Re: How to choose the shell?, Eli Zaretskii, 2021/09/05
- Re: How to choose the shell?, Paul Smith, 2021/09/05
- Re: How to choose the shell?, Eli Zaretskii, 2021/09/05
- Re: How to choose the shell?,
Paul Smith <=
- Re: How to choose the shell?, Eli Zaretskii, 2021/09/05
- Re: How to choose the shell?, Paul Smith, 2021/09/05
- Re: How to choose the shell?, Eli Zaretskii, 2021/09/05
- Re: How to choose the shell?, Paul Smith, 2021/09/05
- Re: How to choose the shell?, Eli Zaretskii, 2021/09/05
- Re: How to choose the shell?, Paul Smith, 2021/09/05
- Re: How to choose the shell?, Eli Zaretskii, 2021/09/06