Re: [fricas-devel] [PATCH] fix ')edit'

2024-04-02 Thread Waldek Hebisch
On Wed, Feb 07, 2024 at 07:34:55PM +0800, Qian Yun wrote: > So we shall make the 'more -> less' change then? After some thinking my opinion is yes. I do not see how we could cope with different behaviour of variants of 'more' so insisting on 'less' is reasonable. --

Re: [fricas-devel] [PATCH] fix ')edit'

2024-03-03 Thread Waldek Hebisch
On Sun, Mar 03, 2024 at 02:40:07PM +0100, Ralf Hemmecke wrote: > On 3/3/24 14:20, Waldek Hebisch wrote: > > My 'more' has no '-e' option. If this option is given it just > > complains. > > Hmmm, that may well be. Are you working with a BSD version of "more"? $ more -V more from util-linux

Re: [fricas-devel] [PATCH] fix ')edit'

2024-03-03 Thread Ralf Hemmecke
On 3/3/24 14:20, Waldek Hebisch wrote: My 'more' has no '-e' option. If this option is given it just complains. Hmmm, that may well be. Are you working with a BSD version of "more"? Is there a way to figure out the minimal set of common options that we can rely on? This is obviously not

Re: [fricas-devel] [PATCH] fix ')edit'

2024-03-03 Thread Waldek Hebisch
On Wed, Feb 07, 2024 at 02:35:57PM +0100, Ralf Hemmecke wrote: > On 2/7/24 14:12, Waldek Hebisch wrote: > > On Wed, Feb 07, 2024 at 07:34:55PM +0800, Qian Yun wrote: > > > So we shall make the 'more -> less' change then? > > > > I will wait few days for possible additional info or ideas. > > I

Re: [fricas-devel] [PATCH] fix ')edit'

2024-02-07 Thread Ralf Hemmecke
On 2/7/24 14:12, Waldek Hebisch wrote: On Wed, Feb 07, 2024 at 07:34:55PM +0800, Qian Yun wrote: So we shall make the 'more -> less' change then? I will wait few days for possible additional info or ideas. I would be for a change to using 'less', but as Waldek said, that might not be

Re: [fricas-devel] [PATCH] fix ')edit'

2024-02-07 Thread Waldek Hebisch
On Wed, Feb 07, 2024 at 07:34:55PM +0800, Qian Yun wrote: > So we shall make the 'more -> less' change then? I will wait few days for possible additional info or ideas. It is unfortunate that modern Linux distributions tends to break traditional usage patterns: AFAIK on "virgin" Debian system

Re: [fricas-devel] [PATCH] fix ')edit'

2024-02-07 Thread Qian Yun
So we shall make the 'more -> less' change then? - Qian On 2/7/24 08:37, Waldek Hebisch wrote: On Mon, Feb 05, 2024 at 07:52:25AM +0800, Qian Yun wrote: If the file is less than one page, "more" will exit directly. Can you reproduce this on your machine? Yes, indeed. -- You received

Re: [fricas-devel] [PATCH] fix ')edit'

2024-02-06 Thread Waldek Hebisch
On Mon, Feb 05, 2024 at 07:52:25AM +0800, Qian Yun wrote: > If the file is less than one page, "more" will exit directly. > > Can you reproduce this on your machine? Yes, indeed. -- Waldek Hebisch -- You received this message because you are subscribed to the

Re: [fricas-devel] [PATCH] fix ')edit'

2024-02-04 Thread Qian Yun
If the file is less than one page, "more" will exit directly. Can you reproduce this on your machine? - Qian On 2/5/24 07:41, Waldek Hebisch wrote: On Sun, Feb 04, 2024 at 07:44:32PM +0800, Qian Yun wrote: When DISPLAY is set, 'xterm -e "more +$line $name"' quits directly without waiting for

Re: [fricas-devel] [PATCH] fix ')edit'

2024-02-04 Thread Waldek Hebisch
On Sun, Feb 04, 2024 at 07:44:32PM +0800, Qian Yun wrote: > When DISPLAY is set, 'xterm -e "more +$line $name"' quits directly > without waiting for key press. > > "less" doesn't have this problem. We use 'more' because it is standard command: it is supposed to be available even in a minimal

[fricas-devel] [PATCH] fix ')edit'

2024-02-04 Thread Qian Yun
When DISPLAY is set, 'xterm -e "more +$line $name"' quits directly without waiting for key press. "less" doesn't have this problem. - Qian diff --git a/src/etc/SPADEDIT b/src/etc/SPADEDIT index be6002f6..1c5cd2d1 100755 --- a/src/etc/SPADEDIT +++ b/src/etc/SPADEDIT @@ -6,8 +6,8 @@ if [ $# -eq