Re: Include hostname in shell prompts by default

2017-12-09 Thread lists
Sat, 09 Dec 2017 12:33:30 -0700 "Theo de Raadt" > > Sat, 09 Dec 2017 12:02:07 -0700 "Theo de Raadt" > > > > With all the respect and understanding what you're saying is true, yet > > > > I have the time to change my prompt, and it would still affect me. > > > > > > If you have changed it,

Re: Include hostname in shell prompts by default

2017-12-09 Thread Theo de Raadt
> But we should probably keep the POSIX default for sh. POSIX doesn't > cover csh, so we're free to do what we want here too. > > So my proposal is to make the change, but stick with the current > default for ksh-invoked-as-sh. Seriously, can anyone find one reason other than "dusty papers"?

Re: Include hostname in shell prompts by default

2017-12-09 Thread Mark Kettenis
> From: "Theo de Raadt" > Date: Sat, 09 Dec 2017 11:38:44 -0700 > > > this just feels like a needless deviation. > > all i can say is: > > bash-4.4$ Which is perfectly fine for bash since it isn't the POSIX shell when invoked as bash. For the same reason we can do what we want for ksh. But w

Re: Include hostname in shell prompts by default

2017-12-09 Thread Brian Callahan
On 12/9/2017 1:28 PM, Bryan Steele wrote: > On Sat, Dec 09, 2017 at 06:44:44PM +0100, Theo Buehler wrote: >> This was discussed in a smaller circle and has been in snaps for two >> days, but I'd like to show this to a wider audience. >> >> Theo asked me to make sure that all our shells print a pr

Re: Include hostname in shell prompts by default

2017-12-09 Thread x9p
On Sat, December 9, 2017 3:44 pm, Theo Buehler wrote: > This was discussed in a smaller circle and has been in snaps for two > days, but I'd like to show this to a wider audience. > > Theo asked me to make sure that all our shells print a prompt including > the hostname by default. The reasoning is

Re: Include hostname in shell prompts by default

2017-12-09 Thread Theo de Raadt
> Sat, 09 Dec 2017 12:02:07 -0700 "Theo de Raadt" > > > With all the respect and understanding what you're saying is true, yet > > > I have the time to change my prompt, and it would still affect me. > > > > If you have changed it, it is irrelevant what the value was before > > the change. You

Re: Include hostname in shell prompts by default

2017-12-09 Thread Ian Darwin
On 2017-12-09 1:10 PM, Theo de Raadt wrote: the default prompt works exactly because it doesn;t try to second guess what the user wants, or what is or isn;t good for them. the mechanism for changing the prompt is trivial. i don;t think it makes sense to change the shells in this way. Having see

Re: Include hostname in shell prompts by default

2017-12-09 Thread Job Snijders
On Sat, Dec 09, 2017 at 06:44:44PM +0100, Theo Buehler wrote: > Theo asked me to make sure that all our shells print a prompt > including the hostname by default. Thank you. This is a significant improvement. I keep finding myself updating /etc/profile everywhere to ensure I don't lose my bearing

Re: Include hostname in shell prompts by default

2017-12-09 Thread lists
Sat, 09 Dec 2017 12:02:07 -0700 "Theo de Raadt" > > With all the respect and understanding what you're saying is true, yet > > I have the time to change my prompt, and it would still affect me. > > If you have changed it, it is irrelevant what the value was before > the change. You detail no i

Re: Include hostname in shell prompts by default

2017-12-09 Thread Base Pr1me
As a server admin, I adore the idea. I've yelled profanity too many times rebooting the wrong machine in haste. Would be wonderful in a large tmux session. On Dec 9, 2017 11:57, wrote: Sat, 09 Dec 2017 11:10:03 -0700 "Theo de Raadt" > > the default prompt works exactly because it doesn;t try to

Re: Include hostname in shell prompts by default

2017-12-09 Thread Theo de Raadt
> With all the respect and understanding what you're saying is true, yet > I have the time to change my prompt, and it would still affect me. If you have changed it, it is irrelevant what the value was before the change. You detail no impact. You appeal is 100% emotion.

Re: Include hostname in shell prompts by default

2017-12-09 Thread lists
Sat, 09 Dec 2017 11:10:03 -0700 "Theo de Raadt" > > the default prompt works exactly because it doesn;t try to second guess > > what the user wants, or what is or isn;t good for them. the mechanism > > for changing the prompt is trivial. > > > > i don;t think it makes sense to change the shells i

Re: Include hostname in shell prompts by default

2017-12-09 Thread Marc Espie
On Sat, Dec 09, 2017 at 06:33:32PM +, Jason McIntyre wrote: > On Sat, Dec 09, 2017 at 11:10:03AM -0700, Theo de Raadt wrote: > > > the default prompt works exactly because it doesn;t try to second guess > > > what the user wants, or what is or isn;t good for them. the mechanism > > > for changi

Re: Include hostname in shell prompts by default

2017-12-09 Thread Theo de Raadt
> this just feels like a needless deviation. all i can say is: bash-4.4$

Re: Include hostname in shell prompts by default

2017-12-09 Thread Jason McIntyre
On Sat, Dec 09, 2017 at 11:10:03AM -0700, Theo de Raadt wrote: > > the default prompt works exactly because it doesn;t try to second guess > > what the user wants, or what is or isn;t good for them. the mechanism > > for changing the prompt is trivial. > > > > i don;t think it makes sense to chang

Re: Include hostname in shell prompts by default

2017-12-09 Thread Bryan Steele
On Sat, Dec 09, 2017 at 06:44:44PM +0100, Theo Buehler wrote: > This was discussed in a smaller circle and has been in snaps for two > days, but I'd like to show this to a wider audience. > > Theo asked me to make sure that all our shells print a prompt including > the hostname by default. The rea

Re: Include hostname in shell prompts by default

2017-12-09 Thread Theo de Raadt
> the default prompt works exactly because it doesn;t try to second guess > what the user wants, or what is or isn;t good for them. the mechanism > for changing the prompt is trivial. > > i don;t think it makes sense to change the shells in this way. Having seen bug reports with data from the wro

Re: Include hostname in shell prompts by default

2017-12-09 Thread Jason McIntyre
On Sat, Dec 09, 2017 at 06:44:44PM +0100, Theo Buehler wrote: > This was discussed in a smaller circle and has been in snaps for two > days, but I'd like to show this to a wider audience. > > Theo asked me to make sure that all our shells print a prompt including > the hostname by default. The rea

Re: Include hostname in shell prompts by default

2017-12-09 Thread lists
Sat, 9 Dec 2017 18:44:44 +0100 Theo Buehler > This was discussed in a smaller circle and has been in snaps for two > days, but I'd like to show this to a wider audience. > > Theo asked me to make sure that all our shells print a prompt including > the hostname by default. The reasoning is roughly

Include hostname in shell prompts by default

2017-12-09 Thread Theo Buehler
This was discussed in a smaller circle and has been in snaps for two days, but I'd like to show this to a wider audience. Theo asked me to make sure that all our shells print a prompt including the hostname by default. The reasoning is roughly as follows: With tmux, ssh and vmd, we tend to open s