[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#71438: [PATCH] Allow ping to receive optional arguments
From: |
Eli Zaretskii |
Subject: |
bug#71438: [PATCH] Allow ping to receive optional arguments |
Date: |
Sun, 09 Jun 2024 16:47:32 +0300 |
> Cc: 71438@debbugs.gnu.org
> From: Stefan Kangas <stefankangas@gmail.com>
> Date: Sun, 9 Jun 2024 05:02:51 -0700
>
> Does this deserve to be announced in NEWS?
Yes, IMO.
> > -(defcustom ping-program-options
> > +(defcustom ping-program-default-options
> > (and (eq system-type 'gnu/linux)
> > (list "-c" "4"))
> > "Options for the ping program.
>
> This needs an `define-obsolete-variable-alias'.
I actually wonder why change the name of the option at all?
> There is an extra RET before you can ping, so the change is
> backwards-incompatible. I rarely if ever use `M-x ping`, so I can't
> give a very informed opinion here, but:
>
> - Perhaps we should make it prompt for options only with a prefix
> command?
Yes, I think we should do that, in which case the change is no longer
backward-incompatible.
- bug#71438: [PATCH] Allow ping to receive optional arguments, TOMAS FABRIZIO ORSI, 2024/06/08
- bug#71438: [PATCH] Allow ping to receive optional arguments, Peter Breton, 2024/06/09
- bug#71438: [PATCH] Allow ping to receive optional arguments, Stefan Kangas, 2024/06/09
- bug#71438: [PATCH] Allow ping to receive optional arguments,
Eli Zaretskii <=
- bug#71438: [PATCH] Allow ping to receive optional arguments, TOMAS FABRIZIO ORSI, 2024/06/09
- bug#71438: [PATCH] Allow ping to receive optional arguments, Stefan Kangas, 2024/06/09
- bug#71438: [PATCH] Allow ping to receive optional arguments, TOMAS FABRIZIO ORSI, 2024/06/09
- bug#71438: [PATCH] Allow ping to receive optional arguments, TOMAS FABRIZIO ORSI, 2024/06/16
- bug#71438: [PATCH] Allow ping to receive optional arguments, Stefan Kangas, 2024/06/16
- bug#71438: [PATCH] Allow ping to receive optional arguments, TOMAS FABRIZIO ORSI, 2024/06/16
- bug#71438: [PATCH] Allow ping to receive optional arguments, Stefan Kangas, 2024/06/17
- bug#71438: [PATCH] Allow ping to receive optional arguments, TOMAS FABRIZIO ORSI, 2024/06/18
- bug#71438: [PATCH] Allow ping to receive optional arguments, Stefan Kangas, 2024/06/20
- bug#71438: [PATCH] Allow ping to receive optional arguments, Eli Zaretskii, 2024/06/09