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,UNPARSEABLE_RELAY autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 16471 invoked from network); 26 Apr 2021 23:55:27 -0000 Received: from zero.zsh.org (2a02:898:31:0:48:4558:7a:7368) by inbox.vuxu.org with ESMTPUTF8; 26 Apr 2021 23:55:27 -0000 ARC-Seal: i=1; cv=none; a=rsa-sha256; d=zsh.org; s=rsa-20200801; t=1619481327; b=0clN1QSwSc2j6VJeZ0bd8N2tV5HhYTOiaOyGAP1W4wc3yj6ZziMgZ8CzoBteXwJ1rnp5l/SA0l zGj7H0Urs13vto/RnSMjsIJR3GJcGN+DgCfRn4PwdWplPwYDTly63gE+groUt82SIGMgHvNSRz EJyHAGIgG2mkYoqzQNSRnKZ0EVYdfuiNPws0xu7XseBRHuWTFPcgUatiy1A65xTQ474IauXQT7 WwqN6ut9xhYZBvIDDRO1Nr9t3sKYUFKxkPfpx9E3AYjq22Olvw/jE7e9AAZwbH7iG7M2mDq+QI H+ArXPUR7h8cj1vtxfAO3iCFM93aLS+TV1HScxQEAlBCcg==; ARC-Authentication-Results: i=1; zsh.org; iprev=pass (mail-ot1-f45.google.com) smtp.remote-ip=209.85.210.45; dkim=pass header.d=brasslantern-com.20150623.gappssmtp.com header.s=20150623 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-20200801; t=1619481327; bh=uWuAXDbdibTNdh3n9oAgACXkPqJZu6PL1ZZe3Gk4rqk=; h=List-Archive:List-Owner:List-Post:List-Unsubscribe:List-Subscribe:List-Help: List-Id:Sender:Content-Type:Cc:To:Subject:Message-ID:Date:From:In-Reply-To: References:MIME-Version:DKIM-Signature:DKIM-Signature; b=rhSAGQuYcpKWjtOQQAXbG29ZLVGI7iG81dhSe/ZXbsCn7NRjT12k71nX2jdb79omKP09F8FwfF oAxfGumcxg7zRrrPo0QKLZlrNYdN9tWXX0MJLBvjEpRXccooMBFrLMFefgV1UBGB+wmWAqeWDU hGp/bNHtkqAuQ1G+19m8LD2hdFccsBIiWXWLGv7sDFx1Ub+14v6N4EZrssMh8wqw3/+qTCM/nm WjHFb6kRFIVVY8sbz2nUeMIgEU4XQ4II/50f3pmH/tTnpbGwFt/GGOEp6ikvLavbOJl0X8IdVn 8W3LmtZ5GkBBsNVAXkvB8VQa0xCFi4f+3q5W339NBTJrSA==; DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=zsh.org; s=rsa-20200801; h=List-Archive:List-Owner:List-Post:List-Unsubscribe: List-Subscribe:List-Help:List-Id:Sender:Content-Type:Cc:To:Subject:Message-ID :Date:From:In-Reply-To:References:MIME-Version:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID; bh=42OOQls0+o5HEIMPjaCwvVIVK/BgexIrcUqGNByV1pk=; b=Eh/Z+5zQxRCW46v3V7TlPXOxWT YAQ8hF0eprNX0qN8wKh0vmi7+hflMoMqApSvIME+PFA8Q8jk2fQD0D9XaZGBFXx3UvgurSr9b2Znt fXi8Akjyabn8qr1c68dXPtiUuBaZhuaNHshiewHkY+4ExH/mm6a7PqpACI625rOX3m12qUe0dvZtw wrt/Wo5raFvmASvjiRrWvHe1LjfJJ8NsB9I3ngEESJPHsLuU9pPJZn8Gibhh4FN0F2AZuXqX4UPBt n2lCTkT4x+o2YMqquDMn2KjTcLOTXTNgWwN6HIaU74kcmxExP3VEOKgFr9kA3hjOgh9doNZhnb+Bc CIVw2cog==; Received: from authenticated user by zero.zsh.org with local id 1lbB4Y-0001X1-HI; Mon, 26 Apr 2021 23:55:26 +0000 Authentication-Results: zsh.org; iprev=pass (mail-ot1-f45.google.com) smtp.remote-ip=209.85.210.45; dkim=pass header.d=brasslantern-com.20150623.gappssmtp.com header.s=20150623 header.a=rsa-sha256; dmarc=none header.from=brasslantern.com; arc=none Received: from mail-ot1-f45.google.com ([209.85.210.45]:46764) by zero.zsh.org with esmtps (TLS1.3:TLS_AES_128_GCM_SHA256:128) id 1lbB4J-0001EN-Vy; Mon, 26 Apr 2021 23:55:12 +0000 Received: by mail-ot1-f45.google.com with SMTP id d3-20020a9d29030000b029027e8019067fso51893971otb.13 for ; Mon, 26 Apr 2021 16:55:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=brasslantern-com.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=42OOQls0+o5HEIMPjaCwvVIVK/BgexIrcUqGNByV1pk=; b=y3YBkSSLG7lGHMHdXHXpexwq3UEiWm5DbHuwrfv5G4qivrBMW6WayPPWOY7Rcb8JCz LG0y05x8SRtbNCm9H9kIHgJK/fFdPl7Z3RBI+mj1KFx2qkNfAkznRnEjEJNiQJ5UmK00 fF8jTVo/h6QHlWVYqWT7xjv/Db7wFWOgzQGpR4zg13oDLecTtQz7xJYiGooAxvTIXgM+ NE3XkrEmRwMCjTFSQq8/rjDUnfJ75/xRiGNBvm65YG74/hiPGYz8MlrOYP5qIfu2ae8q CmvbyE1WosiN+neX3CVX6wL53gX/5pri1jJqW0erfuSBmESdM/dwJOACeeCKEajpbR37 2+YQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=42OOQls0+o5HEIMPjaCwvVIVK/BgexIrcUqGNByV1pk=; b=eLZchzP1AjDsvs5czExPWZxEukop8khgAjCYa8xwc9E95jyp+9bzTuUt1U8sMpmvl0 6uD+bwTCed752H2GSkLf5C4/jgAQXlb8gwIBBaeOYcrug7ONOOakqGZEAwqkYBTR0m0U e+xS8FUgAJmfBMWB/lD17pz63ezQbFYrvESL042/UO/BSufYZKQE4SEHodYcB/gfgQWv uDJ5wxR1OhBoJTvo20RpJunJ4BidkD/zskhMs1jdkclvn3T00iMCzeuwFEbPA+NkTgJ3 INNkXExCOhNe6y3H4NH6F2rKBL5mk0gCX3DtMnKaJG85IQWRpUaL4ZSJoinJolfNUuDB Wzcw== X-Gm-Message-State: AOAM531xbiDRNAHgqbaIen0sKVzBb8UvOljnNrYeLJz6k2aqxaQAPM4G Xpm861iMb41zUd9xkL/KJvflpg5h195XwBDSa/khdw== X-Google-Smtp-Source: ABdhPJz8Ku897VqBbx8RDOcNDyQrdN+Hx00p1uLZpatrhpx+yo6glkheeeff/DvlCWextuV7RC4tduvm/w0YAsjyYI8= X-Received: by 2002:a05:6830:55b:: with SMTP id l27mr16835517otb.260.1619481310389; Mon, 26 Apr 2021 16:55:10 -0700 (PDT) MIME-Version: 1.0 References: <20210426032200.GA26443@tarpaulin.shahaf.local2> In-Reply-To: From: Bart Schaefer Date: Mon, 26 Apr 2021 16:54:58 -0700 Message-ID: Subject: Re: [RFC][PATCH] Add zrestart() To: Daniel Shahaf Cc: Marlon Richert , Zsh hackers list Content-Type: text/plain; charset="UTF-8" X-Seq: 48724 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 Mon, Apr 26, 2021 at 12:30 PM Daniel Shahaf wrote: > > > What kind of approach would be acceptable? > > I think you've basically run into the halting problem here Consequently we need to decide collectively whether we're just rejecting "zrestart" as impossible, or if there's a sub-optimal solution we can agree on. I suspect that executing the entire startup twice in order to be sure it'll work once, is not one we'll agree on. Not really a solution, but an interesting (?) observation: If you start an interactive shell in the background, it will stop when it tries to print the first prompt: % echo $$ 277859 % Src/zsh -f & [1] 277861 % [1] + suspended (tty output) Src/zsh -f You can then do: % exec fg [1] + continued Src/zsh -f % echo $$ 277861 % Now you're at the prompt for the previously backgrounded shell. If you exit from that, the parent is gone. So if you had some way to detect that a backgrounded shell had actually reached the PS1 prompt, you could cause the parent shell to replace itself.