From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-f49.google.com (mail-wr1-f49.google.com [209.85.221.49]) by sourceware.org (Postfix) with ESMTPS id 23B7F3858D1E for ; Mon, 30 Jan 2023 14:50:39 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 23B7F3858D1E Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=palves.net Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-wr1-f49.google.com with SMTP id o18so1833255wrj.3 for ; Mon, 30 Jan 2023 06:50:39 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:content-language:in-reply-to:mime-version :user-agent:date:message-id:from:references:to:subject :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=pEPPtmfKebKopcaeYxB9069BQxkAgDDAp6Uu9b+zpgs=; b=MTWwkmPZmIaYMTwgbSndGIM6u6p93RiVWokI2BHVPzwK9VTTOgjHTpd+YOKpFg7gwh TsOjXkIJFa01Ja2fPYeBC1eMjHnRy658kIvAAwm8H9CdDTxkHxnUL3NNSjPcStY9G9Zk iJj91nIKoKbYP3volYh4bcZqeXf8+slFwXrAr165KJV3GtT6wfUJovgL1gTw+KBWRbAP XbtAFOOpHV7zCoIyifxo8zM6JML7p11v3CSCaMEchgfVd+eVYHSnlCdZPunX0Sh01I9w maO/Z0KGgcKsaq4knIzOjEEOeEBPTHuSDdEl6sNsAqubLinRUWyxo150W5W/eVolCS1x pSCA== X-Gm-Message-State: AFqh2kouptioogOc0FHcr8sXfmd8lFeaerNx1nYFPXucy23sH0flWiz2 wtCmoJoRintQfqUy5evNeecszT0ABHSj/w== X-Google-Smtp-Source: AMrXdXtUQXGTkomu9Kw+E2GiXxQDjqOX9FvPT1TnPQxe7+HqHSctlO40DDZhvHw9zSi4hW3XgG+2Ag== X-Received: by 2002:a5d:6b4d:0:b0:2bb:f88b:43b6 with SMTP id x13-20020a5d6b4d000000b002bbf88b43b6mr45175947wrw.3.1675090237510; Mon, 30 Jan 2023 06:50:37 -0800 (PST) Received: from ?IPv6:2001:8a0:f92b:9e00::1fe? ([2001:8a0:f92b:9e00::1fe]) by smtp.gmail.com with ESMTPSA id e7-20020adfe387000000b002be15ee1377sm12133563wrm.22.2023.01.30.06.50.36 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 30 Jan 2023 06:50:37 -0800 (PST) Subject: Re: [PATCH 5/5] Add "save history" command To: Tom Tromey , gdb-patches@sourceware.org References: <20230129162105.526266-1-tom@tromey.com> <20230129162105.526266-6-tom@tromey.com> From: Pedro Alves Message-ID: Date: Mon, 30 Jan 2023 14:50:35 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.10.1 MIME-Version: 1.0 In-Reply-To: <20230129162105.526266-6-tom@tromey.com> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-4.1 required=5.0 tests=BAYES_00,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM,HEADER_FROM_DIFFERENT_DOMAINS,KAM_DMARC_STATUS,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On 2023-01-29 4:21 p.m., Tom Tromey wrote: > > +@kindex save history > +@item save history @var{filename} > +Occasionally you may want to save your history to a file. This > +command will do just that, saving the commands in your current session > +to the named file. Note that you should normally edit the saved > +history before using @code{source} to reload it, as the @code{save > +history} command itself will be at the end of the file. We could also suggest using "server save history" here. Something like, "Alternatively, you can use the server prefix to blah, blah. @xref." Prefixing a comment with "server" makes it so that it won't be added to the history: https://sourceware.org/gdb/current/onlinedocs/gdb.html/Server-Prefix.html