From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-3.3 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, MAILING_LIST_MULTI,RCVD_IN_DNSWL_MED,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 559 invoked from network); 9 Dec 2023 21:45:15 -0000 Received: from zero.zsh.org (2a02:898:31:0:48:4558:7a:7368) by inbox.vuxu.org with ESMTPUTF8; 9 Dec 2023 21:45:15 -0000 ARC-Seal: i=1; cv=none; a=rsa-sha256; d=zsh.org; s=rsa-20210803; t=1702158315; b=H4b7f/FtxZCxQZ5pmYNOFuqnUCUIZYJ8rATKE6AkTqpkEh8QjcjOVdoIubrWiXMnOqd6HrFVRn suswgqdw2LNd/WjKpKIPGKgdgWKYgxdMjOwqdWIHbq4vAZT9stOHv8SBuGab5IIHBNJQaHN/7Z NNa5mxU478VqKf78ni2TcpBbPtbVNoUcqFwifzWoZ7JzeXvSuS+dtnqvkKIAbpVW+DhdyWBkJ5 w3zfHahdZEn/R5dqB/Uu9GTjB0Lj+qLPqczH/Hg9PZd3Dl5BZuJd/HkMQ02QwIktoPNgBFA4mD f9dVP2sU/OPKg41tRJX9xuSg3CBCixo+pL07gdOttRx+xw==; ARC-Authentication-Results: i=1; zsh.org; iprev=pass (mail-ej1-f42.google.com) smtp.remote-ip=209.85.218.42; dkim=pass header.d=brasslantern-com.20230601.gappssmtp.com header.s=20230601 header.a=rsa-sha256; dmarc=none header.from=brasslantern.com; arc=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed; d=zsh.org; s=rsa-20210803; t=1702158315; bh=h6H7LIS5v3WXhqAh3Y8Pn6sbroPlainUMPZ4fEzInKs=; h=List-Archive:List-Owner:List-Post:List-Unsubscribe:List-Subscribe:List-Help: List-Id:Sender:Content-Transfer-Encoding:Content-Type:To:Subject:Message-ID: Date:From:In-Reply-To:References:MIME-Version:DKIM-Signature:DKIM-Signature; b=XsZXPchJ5cKVeDy5v8zJ9yZxpQAoROoV59KpTGdpKh+aai+52D7FfAWyt94a2GQFNsdfNK/cIc R+uDs+NgixdMA65DeXbwlB5sZ6oBUZdpnuzsDbnYw4mbb39KL8Het42ufjf45FxYZW1vzBYnXm fuHftE1mJBYc07W7DDvqKuVlBMIQ/ihhxmZsXqwwG/1n8p+x4jWNcZTQwft5TjVNx8GMd2wSIF KrLoiQsklAMGJQzAiJELSD5y5aj69LV9oTHrSXcXy3/MIxTxc55RIxMj3lJO4BcFGagL3p6NOE auOWmTmZiA7DSe4kEM6ohNIRGTmQ5EGL2tG0DIKZ4d/FWQ==; DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=zsh.org; s=rsa-20210803; h=List-Archive:List-Owner:List-Post:List-Unsubscribe: List-Subscribe:List-Help:List-Id:Sender:Content-Transfer-Encoding: Content-Type:To:Subject:Message-ID:Date:From:In-Reply-To:References: MIME-Version:Reply-To:Cc:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID; bh=G2nc3B7RagcoF5EjTxvZ4yPLHf0l+XTyYgWzYCv+Yh8=; b=kC+iG7HCr3EyvepmhMilo2I+TB twBGHOmbX4Y5y1/ydOag7u2WZ9ZTD8EHrOoP3gu6vJ1n5r1W5nhaSWSG/jQWnTx7XBZe3Oz0vU2ji 3FHbNbQb9AYGn5VsExA0b2u/rUr53AJKjYvQSrFKIk5QJx5Cf/vUEF691V8OSAde0gT5vvinNfYCa dh95dHcwXnNpSEhvfTsxZx9R05qTuaIOiMYG7FEOqIEgncMuKY7pOasAyN15awFkxhgKvExfvJyIL nW1QBn41zElXX0nfx8/XX/fx9EPakHbgIL7AZWI68zTVlcCosFjCjcRjCjzyGvmWKq3wC2ISKqbSu U++ae0Zg==; Received: by zero.zsh.org with local id 1rC58M-000Evm-PC; Sat, 09 Dec 2023 21:45:14 +0000 Authentication-Results: zsh.org; iprev=pass (mail-ej1-f42.google.com) smtp.remote-ip=209.85.218.42; dkim=pass header.d=brasslantern-com.20230601.gappssmtp.com header.s=20230601 header.a=rsa-sha256; dmarc=none header.from=brasslantern.com; arc=none Received: from mail-ej1-f42.google.com ([209.85.218.42]:56640) by zero.zsh.org with esmtps (TLS1.3:TLS_AES_128_GCM_SHA256:128) id 1rC582-000Ecj-Al; Sat, 09 Dec 2023 21:44:55 +0000 Received: by mail-ej1-f42.google.com with SMTP id a640c23a62f3a-a1ef2f5ed02so337587966b.1 for ; Sat, 09 Dec 2023 13:44:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=brasslantern-com.20230601.gappssmtp.com; s=20230601; t=1702158294; x=1702763094; darn=zsh.org; h=content-transfer-encoding:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=G2nc3B7RagcoF5EjTxvZ4yPLHf0l+XTyYgWzYCv+Yh8=; b=DuWcf7nk3gwZaIeOG/K4s3aWlxZbqunefTxzbekGPm9NtUV9lifMeFRtMUbr6cA6PC vDFRnuqmVyqyk2aCPQK39P4hjvnvOrZeN90PgpAQcLGeFF8MKq0+1zFNQxLxM5dspBC5 xdeYED9GQHP65CtumMG3B9yZhnsRubC7IXuoI5P8Lb7UN7u8R22lsxEgX5kWdrzvjI8V G/49hhKqu8TGwFVjjxudBgxyTHmoriD8VQRMalF7UAA0mt6gZkde2dFxDULJXNM4gpY2 Hmex71mzVTJfe28qMv5v9b56cI1KYMBK+YN9Tz9/mvdPUUertAYMQCNihs0WSvwOVOmf 8nmw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1702158294; x=1702763094; h=content-transfer-encoding:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=G2nc3B7RagcoF5EjTxvZ4yPLHf0l+XTyYgWzYCv+Yh8=; b=Ei6T3mpIQggWuWG1OTLMg3nMMJePf1cv8woyuqF1av6va0SRMDkNFz8xsUN3V5UgUB c9512r6BhuCHtg9+GUtHxYu5SvtzvwToLu/zBwvebFPjy+luBQO8P+LLnhW7qAjjoTCx FWF80DUhmj1DiHUsRC72l9XzWz8f38v44MnJQFTnbrNF6KvaYz0p2j5pVcpkDTvjknzU JwG6AQ3mG/Vy8LmtudeTFXz7sEDyYcDBFsY0cA6xC8Q/fUtYSIN6hGQl0yxixRbnFATI dJ1kwkDFn4yMJpEqNnBvU0HeYtwqioEe7eewB3X8f4BNF3lBWyGg+NiHXUHPNVv3SRKQ wEbQ== X-Gm-Message-State: AOJu0YzKLovxtqaFSWYANkVm24CPh9pvogCJAvPZYmWzqrFoQDB+h38A iOYoxls8Zlmor5u9iXOSYgKWBskKZGiygRhPF2FHey1iojJMq9mkOa0= X-Google-Smtp-Source: AGHT+IFBsDXTEebPoSposqSW7T+794to8nnpeXKdOu24I8Xnz7eH5YDzCnDCPr1a5YeO5NRwAM+iVCSZtuK79bw1H+E= X-Received: by 2002:a17:906:74cf:b0:9ff:53b6:f951 with SMTP id z15-20020a17090674cf00b009ff53b6f951mr984588ejl.23.1702158293726; Sat, 09 Dec 2023 13:44:53 -0800 (PST) MIME-Version: 1.0 References: <20231205021217.GA357346@zira.vinc17.org> <20231205125732.GA1126552@cventin.lip.ens-lyon.fr> <20231206150333.GA385094@zira.vinc17.org> In-Reply-To: <20231206150333.GA385094@zira.vinc17.org> From: Bart Schaefer Date: Sat, 9 Dec 2023 13:44:42 -0800 Message-ID: Subject: Re: [BUG] With CORRECT_ALL, an interrupted correct puts a truncated entry in history To: zsh-workers@zsh.org Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Seq: 52390 Archived-At: X-Loop: zsh-workers@zsh.org Errors-To: zsh-workers-owner@zsh.org Precedence: list Precedence: bulk Sender: zsh-workers-request@zsh.org X-no-archive: yes List-Id: List-Help: , List-Subscribe: , List-Unsubscribe: , List-Post: List-Owner: List-Archive: On Wed, Dec 6, 2023 at 7:03=E2=80=AFAM Vincent Lefevre = wrote: > > On 2023-12-05 13:22:07 -0800, Bart Schaefer wrote: > > On Tue, Dec 5, 2023 at 4:57=E2=80=AFAM Vincent Lefevre wrote: > > > > > > I thought that this would have been put in a temporary buffer, > > > until the (possibly corrected) command is validated. > > > > I'm not sure what you think "validated" means here. > > Once the user has no longer any way to discard the command line, > which will then be really run. Ah. It's in the buffer managed in ZLE as $BUFFER, but corrections apply left to right as that buffer is converted into a parse tree, they don't alter the buffer itself. > > I'm not going to make a decision on that without further feedback. > > Yes, that's why I had suggested an explicit action for that Altering the prompt to add more cases is one of the things I won't do without feedback. > Or just use 'e', then immediately put the command in the history > without running it. Is there a zle widget for that? I would find > this useful even when there are no spelling corrections. That would be push-input, which is not bound to anything by default, but could probably be bound to ESC (shift)Q without disrupting use of push-line on ESC q. Correction is not itself a ZLE action -- it happens after ZLE has returned control to the parser, and works even if ZLE is disabled. So there's no widget to fiddle with it.